Testing Proofs by Examples.

Susumu Hayashi Ryosuke Sumitomo

Published in: ASIAN (1998)

Keyphrases

artificial intelligence
formal proof
databases
website
computer programs
information systems
case study
bayesian networks
support vector
expert systems
relational databases
test cases
key concepts
software testing