Quantitative testing semantics for non-interleaving

Emmanuel Beffara

Published in: CoRR (2009)

Keyphrases

logic programming
test cases
software testing
formal semantics
semantic information
test data
quantitative and qualitative
test suite
databases
neural network
real world
learning algorithm
test set
semantic relationships
default reasoning
semantic representation