A Theory of Predicate-Complete Test Coverage and Generation.

Published in: FMCO (2004)

Keyphrases

theoretical basis
theoretical framework
test suite
generation process
databases
database systems
sensor networks
computational model
generation method
database
neural network
general theory
datalog programs