Random Testing in Isabelle/HOL.

Stefan Berghofer Tobias Nipkow

Published in: SEFM (2004)

Keyphrases

theorem prover
natural deduction
inference rules
test data
first order logic
test cases
formal methods
theorem proving
real world
sequent calculus
training set
decision making
databases
test set
evolutionary algorithm
digital libraries
objective function
information retrieval
data mining
higher order logic