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)
B. Burg, R. Bailey, A. Ko, and M. Ernst. Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, page 473--484. ACM, (2013)