Generating tests from counterexamples (2004)

by D Beyer, A J Chlipala, R Majumdar
Venue:In ICSE ’04: Proceedings of the 26th International Conference on Software Engineering