SpecTackle - A Specification Mining Experimentation Platform.
Robert HeumüllerSebastian NielebockFrank OrtmeierPublished in: SEAA (2019)
Keyphrases
- data structure
- itemsets
- frequent patterns
- frequent itemsets
- real time
- mining algorithm
- data mining
- text mining
- web mining
- pattern mining
- knowledge discovery
- data mining techniques
- learning environment
- information systems
- data mining algorithms
- sequential patterns
- machine learning
- test bed
- mobile applications
- formal specification
- mining association rules
- formal verification