Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson
GoldMine: Automatic assertion generation using data mining and static analysis
DATE, 2010.
@inproceedings{DATE-2010-VasudevanSPTTJ,
author = "Shobha Vasudevan and David Sheridan and Sanjay J. Patel and David Tcheng and William Tuohy and Daniel R. Johnson",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "626--629",
publisher = "{IEEE}",
title = "{GoldMine: Automatic assertion generation using data mining and static analysis}",
year = 2010,
}