Termination proofs from tests.

Aditya V. Nori Rahul Sharma

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

bayesian networks
term rewriting
probabilistic model
theorem proving
theorem prover
test data
equational theories
machine learning
three dimensional
multiscale
search algorithm
active rules