Shadow symbolic execution for better testing of evolving software

Cristian Cadar, Hristina Palikareva. Shadow symbolic execution for better testing of evolving software. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 432-435, ACM, 2014. [doi]

Abstract

Abstract is missing.