Login / Signup
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction.
Alastair F. Donaldson
Nannan He
Daniel Kroening
Philipp Rümmer
Published in:
FMCO (2010)
Keyphrases
</>
test suite
neural network
test cases
inductive learning
databases
information systems
case study
test data
evaluation metrics
set of test cases
artificial intelligence
search engine
database systems
bayesian networks
constructive induction