Sign in
Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs.
Paolo Tonella
Alessandro Marchetto
Duy Cu Nguyen
Yue Jia
Kiran Lakhotia
Mark Harman
Published in:
ICST (2012)
Keyphrases
</>
closed form
execution model
dynamic programming
machine learning algorithms
statistical model
complex systems
accurate models
finding optimal
approximation algorithms
bayesian framework
statistical models
data sets
model selection
probabilistic model
prior knowledge
image segmentation
case study
genetic algorithm