The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof.

Published in: CPP (2012)

Keyphrases

symbolic representation
high level
theorem prover
real time
point cloud
first order logic
symbolic description
artificial intelligence
image sequences
bayesian networks
multiscale
data structure
test set
statistical tests
test generation
neural learning