L. Zhang, and C. Wang. Proceedings of the 39th International Conference on Software Engineering, page 278--288. Piscataway, NJ, USA, IEEE Press, (2017)
J. Wang, W. Dou, Y. Gao, C. Gao, F. Qin, K. Yin, and J. Wei. Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, page 520--531. IEEE Press, (2017)
B. Petrov, M. Vechev, M. Sridharan, and J. Dolby. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, page 251--262. ACM, (2012)
V. Raychev, M. Vechev, and M. Sridharan. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 151--166. ACM, (2013)
T. Ugawa, S. Marr, and R. Jones. Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, page 11. ACM, (Dec 5, 2022)