Model and Proof Generation for Heap-Manipulating Programs.
Martin BrainCristina DavidDaniel KroeningPeter SchrammelPublished in: ESOP (2014)
Keyphrases
- conceptual model
- statistical model
- mathematical model
- probabilistic model
- network model
- experimental data
- theoretical framework
- multiscale
- computational model
- data structure
- generation process
- sensitivity analysis
- neural network
- bayesian networks
- database systems
- high level
- case study
- decision trees
- search engine
- machine learning
- data mining