R.: Generating Tests from Counterexamples (2004)

by D Beyer, A J Chlipala, T A Henzinger, R Jhala, Majumdar
Venue:In: ICSE