Simulation-based bug trace minimization with BMC-based refinement.

Kai-Hui Chang Valeria Bertacco Igor L. Markov

Published in: ICCAD (2005)

Keyphrases

source code
execution traces
software systems
software projects
global minimization
data sets
computer vision
objective function
multi agent systems
constrained minimization
databases
learning algorithm
image segmentation
probabilistic model
markov random field
refinement operators