Scenario-based and value-based specification mining: better together.
David LoShahar MaozPublished in: Autom. Softw. Eng. (2012)
Keyphrases
- text mining
- web mining
- interesting patterns
- mining algorithm
- data mining
- formal specification
- knowledge discovery
- real time
- association mining
- pattern mining
- high level
- artificial intelligence
- database
- association rule mining
- association rules
- sequential patterns
- multi agent systems
- data mining methods
- web services
- formal methods
- transactional data
- provably correct