GoldMine: Automatic assertion generation using data mining and static analysis.
Shobha VasudevanDavid SheridanSanjay J. PatelDavid TchengWilliam TuohyDaniel R. JohnsonPublished in: DATE (2010)
Keyphrases
- static analysis
- data mining
- dynamic analysis
- source code
- abstract interpretation
- regular expressions
- symbolic execution
- java card
- data analysis
- data mining algorithms
- data mining techniques
- text mining
- semi automatic
- reverse engineering
- knowledge discovery
- test generation
- association rules
- malicious code
- object oriented
- data sets
- data mining applications
- data warehouse
- test suite
- training set
- real world
- databases