Fingerprint
Dive into the research topics of 'GoldMine: Automatic assertion generation using data mining and static analysis'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
GoldMine: Automatic assertion generation using data mining and static analysis
Shobha Vasudevan, David Sheridan, Sanjay Patel, David Tcheng, Bill Tuohy, Daniel Johnson
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution