V. Raychev, M. Vechev, und M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, Seite 151--166. ACM, (2013)
L. Zhang, und C. Wang. Proceedings of the 39th International Conference on Software Engineering, Seite 278--288. Piscataway, NJ, USA, IEEE Press, (2017)