1. 20th International Conference on Runtime Verification. https://rv20.ait.ac.at/awards/
2. Lecture Notes in Computer Science;C. Alvin,2017
3. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20–24, 2008, pp. 3–14 (2008)
4. Bielik, P., Raychev, V., Vechev, M.T.: PHOG: probabilistic model for code. In: Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19–24, 2016, pp. 2933–2942 (2016)
5. Bielik, P., Raychev, V., Vechev, M.T.: Learning a static analyzer from data. In: Computer Aided Verification – 29th International Conference, CAV 2017, Proceedings, Part I. Heidelberg, Germany, July 24–28, 2017, pp. 233–253 (2017)