Babaee, R. ., Gurfinkel, A. ., & Fischmeister, S. . (2018). Prevent: a Predictive Run-time Verification Framework Using Statistical Learning. 16th International Conference on Software Engineering and Formal Methods. Presented at the. Toulouse, France.