Static specification inference using predicate mining.
Murali Krishna RamanathanAnanth GramaSuresh JagannathanPublished in: PLDI (2007)
Keyphrases
- data mining
- bayesian networks
- pattern mining
- neural network
- probabilistic inference
- data mining techniques
- inference mechanism
- data mining applications
- frequent patterns
- knowledge discovery
- text mining
- data mining methods
- genetic algorithm
- inference process
- formal specification
- bayesian inference
- itemsets
- web mining
- frequent itemsets
- sequential patterns
- first order logic
- social networks
- random fields
- source code
- inference engine
- association rule mining
- multi relational
- privacy preserving