Generating Tests from Counterexamples.

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

Published in: ICSE (2004)

Keyphrases

data sets
neural network
decision making
database systems
evolutionary algorithm
generation process
automatically generating
post hoc