Mining scenario-based specifications with value-based invariants.
David LoShahar MaozPublished in: OOPSLA Companion (2009)
Keyphrases
- text mining
- pattern mining
- high level
- sequential patterns
- knowledge discovery
- data mining
- formal specification
- mining algorithm
- web mining
- association rule mining
- frequent patterns
- search engine
- data sets
- data mining algorithms
- frequent itemsets
- object recognition
- genetic algorithm
- pattern discovery
- affine invariant
- machine learning
- sequential pattern mining
- specification language