Automated Error Localization and Correction for Imperative Programs

Robert Könighofer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Pages91-100
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

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityAustin, Texas
Period30/10/112/11/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this