Automated Error Localization and Correction for Imperative Programs

Robert Könighofer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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
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

Könighofer, R., & Bloem, R. P. (2011). Automated Error Localization and Correction for Imperative Programs. In Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011) (pp. 91-100). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers.

Automated Error Localization and Correction for Imperative Programs. / Könighofer, Robert; Bloem, Roderick Paul.

Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011). Piscataway, NJ, USA : Institute of Electrical and Electronics Engineers, 2011. p. 91-100.

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

Könighofer, R & Bloem, RP 2011, Automated Error Localization and Correction for Imperative Programs. in Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011). Institute of Electrical and Electronics Engineers, Piscataway, NJ, USA, pp. 91-100, International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, United States, 30/10/11.
Könighofer R, Bloem RP. Automated Error Localization and Correction for Imperative Programs. In Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers. 2011. p. 91-100
Könighofer, Robert ; Bloem, Roderick Paul. / Automated Error Localization and Correction for Imperative Programs. Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011). Piscataway, NJ, USA : Institute of Electrical and Electronics Engineers, 2011. pp. 91-100
@inproceedings{8650a73c54c94e60b308312328fff28c,
title = "Automated Error Localization and Correction for Imperative Programs",
author = "Robert K{\"o}nighofer and Bloem, {Roderick Paul}",
year = "2011",
language = "English",
isbn = "978-1-4673-0896-0",
pages = "91--100",
booktitle = "Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Automated Error Localization and Correction for Imperative Programs

AU - Könighofer, Robert

AU - Bloem, Roderick Paul

PY - 2011

Y1 - 2011

UR - http://www.cs.utexas.edu/users/ragerdl/fmcad11/

UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6148916

M3 - Conference contribution

SN - 978-1-4673-0896-0

SP - 91

EP - 100

BT - Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway, NJ, USA

ER -