Interactive Semi-automated Specification Mining for Debugging: An Experience Report.
Mohammad Jafar MashhadiTaha R. SiddiquiHadi HemmatiHoward W. LoewenPublished in: CoRR (2019)
Keyphrases
- semi automated
- fully automated
- data mining
- interactive exploration
- computer graphics
- sequential patterns
- knowledge discovery
- interactive data mining
- user interaction
- data exploration
- mining algorithm
- user friendly
- model based diagnosis
- interesting patterns
- data mining tasks
- formal verification
- software engineering
- databases
- formal methods
- specification language
- ims qti
- formal specification
- data mining applications
- pattern mining
- web mining
- association rule mining
- frequent itemsets
- itemsets
- data mining techniques
- neural network