Cryptographic Verification of Test Coverage Claims (1997)

by P. T. Devanbu , S. G. Stubblebine
Venue:IEEE Transactions on Software Engineering
Citations:13 - 5 self