Extending static analysis by mining project-specific rules.
Boya SunGang ShuAndy PodgurskiBrian RobinsonPublished in: ICSE (2012)
Keyphrases
- static analysis
- dynamic analysis
- source code
- abstract interpretation
- association rule mining
- positive and negative association rules
- data mining
- symbolic execution
- rule mining
- high level
- domain specific
- text mining
- regular expressions
- apriori algorithm
- mining association rules
- association rules
- case study
- itemsets
- knowledge discovery
- java card
- termination analysis
- databases