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)
L. Zhang, and C. Wang. Proceedings of the 39th International Conference on Software Engineering, page 278--288. Piscataway, NJ, USA, IEEE Press, (2017)
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)