Generating Tests from Counterexamples.

Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar

Browse the full ICSE paper archive.