Simulation-Directed Invariant Mining for Software Verification.
Xueqi ChengMichael S. HsiaoPublished in: DATE (2008)
Keyphrases
- simulation environment
- mining algorithm
- web mining
- text mining
- association rule mining
- frequent patterns
- simulation models
- affine transformation
- data mining methods
- numerical simulations
- simulation study
- sequential patterns
- mathematical model
- frequent itemsets
- knowledge discovery
- database
- itemsets
- data mining techniques
- reinforcement learning
- similarity measure
- e learning
- web logs
- artificial intelligence
- data sets