Differential symbolic execution (2008)

by Suzette Person, Matthew B Dwyer, Sebastian Elbaum, Corina S Păsăreanu
Venue:In Proceedings of FSE