CompoSAT: Specification-Guided Coverage for Model Finding.
Sorawee PorncharoenwaseTim NelsonShriram KrishnamurthiPublished in: FM (2018)
Keyphrases
- high level
- computational model
- formal model
- social networks
- sensitivity analysis
- probabilistic model
- specification language
- object model
- experimental data
- process model
- theoretical analysis
- management system
- probability distribution
- real time
- cost function
- prior knowledge
- evolutionary algorithm
- image sequences
- case study
- information systems
- machine learning
- neural network