Automated Error Localization and Correction for Imperative Programs

Robert Könighofer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationProceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
Place of PublicationPiscataway, NJ, USA
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)978-1-4673-0896-0
Publication statusPublished - 2011
EventInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States
Duration: 30 Oct 20112 Nov 2011


ConferenceInternational Conference on Formal Methods in Computer-Aided Design
Country/TerritoryUnited States
CityAustin, Texas

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this