Leveraging program equivalence for adaptive program repair: Models and first results.

Westley Weimer Zachary P. Fry Stephanie Forrest

Published in: ASE (2013)

Keyphrases

experimental data
real time
databases
accurate models
artificial neural networks
parameter estimation
control program
database
modelling language
program execution
process model
model selection
probabilistic model
three dimensional
case study
decision trees
artificial intelligence