Software model synthesis using satisfiability solvers.

Marijn Heule Sicco Verwer

Published in: Empir. Softw. Eng. (2013)

Keyphrases

computational model
probabilistic model
machine learning
statistical model
bayesian framework
experimental data
management system
objective function
multiscale
software engineering
software development
high level
mathematical model
decision trees
information retrieval
conceptual model
neural network