Tests from Proofs.

Patrice Godefroid

Published in: TAP@TOOLS (2011)

Keyphrases

theorem prover
formal proofs
databases
theorem proving
neural network
information retrieval
database systems
medical images
test generation
formal proof