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