X. Chang, W. Dou, Y. Gao, J. Wang, J. Wei, und T. Huang. Proceedings of the 41st International Conference on Software Engineering, Seite 631--642. IEEE Press, (Mai 2019)
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)
R. Utterback, K. Agrawal, J. Fineman, und I. Lee. Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, Seite 83--94. ACM, (2016)
A. Yoga, S. Nagarakatte, und A. Gupta. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Seite 833--845. ACM, (2016)
J. Roemer, K. Genc, und M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 374--389. ACM, (2018)
C. Flanagan, und S. Freund. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 121--133. ACM, (2009)