Asankhaya Sharma. Exploiting undefined behaviors for efficient symbolic execution. 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 727-729, ACM, 2014. [doi]
Abstract is missing.