Generating Unit Tests from Formal Proofs.

Christian Engel Reiner Hähnle

Published in: TAP (2007)

Keyphrases

formal proofs
generation process
information systems
high quality
search algorithm
test cases
automatically generating
control unit
feature selection
knowledge base
artificial neural networks