Augmented dynamic symbolic execution (2012)

by K Jamrozik, G Fraser, N Tillmann, J de Halleux
Venue:In Proc. ASE