A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.

David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan

Browse the full VLSID paper archive.