Differential symbolic execution. (2008)

by S Person, M B Dwyer, S Elbaum, C Pasareanu
Venue:In FSE,