GoldMine: Automatic assertion generation using data mining and static analysis.

Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson

Browse the full DATE paper archive.