Cryptographic verification of test coverage claims (0)

by P Devanbu, S Stubblebine
Venue:IEEE Transactions on Software Engineering