Automated error localization and correction for imperative programs.

Robert Knighofer, Roderick Bloem

Browse the full FMCAD paper archive.