Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, David Brumley. Enhancing symbolic execution with veritesting. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 1083-1094, ACM, 2014. [doi]
Abstract is missing.