Static Analysis for Divide-and-Conquer Pattern Discovery.
Tamás KozsikMelinda TóthIstván BozóZoltán HorváthPublished in: Comput. Informatics (2016)
Keyphrases
- pattern discovery
- static analysis
- dynamic analysis
- source code
- symbolic execution
- data analysis
- pattern mining
- association rule mining
- recursive partitioning
- sequential patterns
- temporal patterns
- rule discovery
- data mining
- regular expressions
- frequently occurring
- interesting patterns
- abstract interpretation
- discovering patterns
- recurring patterns
- java card
- structural constraints
- temporal data mining
- test suite
- motif discovery
- test cases
- multi dimensional
- high level