A Failed Proof Can Yield a Useful Test.

Li Huang Bertrand Meyer

Published in: CoRR (2022)

Keyphrases

data sets
learning algorithm
neural network
search engine
knowledge base
bayesian networks
digital libraries
preprocessing
relational databases
multiresolution
control system
first order logic
theorem prover