Generating Tests from Counterexamples (0)

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