GoldMine: Automatic assertion generation using data mining and static analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shobha Vasudevan' in GoogleThis author has not been identified. Look up 'David Sheridan' in GoogleThis author has not been identified. Look up 'Sanjay J. Patel' in GoogleThis author has not been identified. Look up 'David Tcheng' in GoogleThis author has not been identified. Look up 'William Tuohy' in GoogleThis author has not been identified. Look up 'Daniel R. Johnson' in Google

runs on WebDSL