Symbolic Automata for Static Specification Mining.
Hila PelegSharon ShohamEran YahavHongseok YangPublished in: SAS (2013)
Keyphrases
- high level
- web mining
- data mining
- knowledge discovery
- data mining techniques
- mining algorithm
- formal languages
- data mining applications
- sequential patterns
- dynamic constraints
- data sets
- specification language
- symbolic representation
- formal specification
- pattern discovery
- data mining algorithms
- decision trees
- databases