Cryptographic Verification of Test Coverage Claims.

Premkumar T. Devanbu Stuart G. Stubblebine

Published in: ESEC / SIGSOFT FSE (1997)

Keyphrases

test generation
test suite
code coverage
data sets
test cases
test data
smart card
database
real time
real world
model checking
statistical tests