A coverage guided mining approach for automatic generation of succinct assertions

David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'A coverage guided mining approach for automatic generation of succinct assertions'. Together they form a unique fingerprint.

Engineering & Materials Science