Automated error localization and correction for imperative programs.

Robert Könighofer Roderick Bloem

Published in: FMCAD (2011)

Keyphrases

imperative programs
error detection
error analysis
error rate
localization error
semi automated
dynamic logic
error correction
fully automated
object localization
position information
integrity constraints
qualitative and quantitative
relational databases
management system
localization algorithm
xml documents