Cryptographic Verification of Test Coverage Claims.

Premkumar T. Devanbu Stuart G. Stubblebine

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

test generation
test suite
set of test cases
case study
cryptographic protocols
databases
multiscale
formal verification
model checking
hash functions
test cases
verification method
security protocols
database
software engineering
expert systems
bayesian networks
face recognition
website
data sets