Login / Signup
Simulation-Based Bug Trace Minimization With BMC-Based Refinement.
Kai-Hui Chang
Valeria Bertacco
Igor L. Markov
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
</>
source code
objective function
execution traces
refinement process
software systems
bug reports
collaborative inquiry learning
software engineering
database systems
high level
software projects
efficient optimization
artificial intelligence
real world
geometric interpretation
databases
quasi newton method
data sets