Automated program repair with canonical constraints.

Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee

Browse the full ICSE paper archive.