Proof-Guided Test Selection from First-Order Specifications with Equality.

Delphine Longuet Marc Aiguier Pascale Le Gall

Published in: J. Autom. Reason. (2010)

Keyphrases

first order logic
higher order
test cases
selection strategy
selection algorithm
theorem prover
formal specification
linear logic
neural network
artificial intelligence
statistical tests
theorem proving
statistical significance
default reasoning