Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson. GoldMine: Automatic assertion generation using data mining and static analysis. In Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. pages 626-629, IEEE, 2010. [doi]
@inproceedings{VasudevanSPTTJ10,
title = {GoldMine: Automatic assertion generation using data mining and static analysis},
author = {Shobha Vasudevan and David Sheridan and Sanjay J. Patel and David Tcheng and William Tuohy and Daniel R. Johnson},
year = {2010},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457129},
tags = {analysis, static analysis, data-flow, data-flow analysis},
researchr = {https://researchr.org/publication/VasudevanSPTTJ10},
cites = {0},
citedby = {0},
pages = {626-629},
booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010},
publisher = {IEEE},
}