Automated Error Localization and Correction for Imperative Programs

Robert Könighofer; Roderick Paul Bloem

Automated Error Localization and Correction for Imperative Programs

Institute of Applied Information Processing and Communications (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
Place of Publication	Piscataway, NJ, USA
Publisher	Institute of Electrical and Electronics Engineers
Pages	91-100
ISBN (Print)	978-1-4673-0896-0
Publication status	Published - 2011
Event	International Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States Duration: 30 Oct 2011 → 2 Nov 2011

Conference

Conference	International Conference on Formal Methods in Computer-Aided Design
Country/Territory	United States
City	Austin, Texas
Period	30/10/11 → 2/11/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

final_fmcad11.pdfFinal published version, 495 KB

Cite this

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 proceeding › Conference paper › peer-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.

@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",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 30-10-2011 Through 02-11-2011",

}

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 paper

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

T2 - International Conference on Formal Methods in Computer-Aided Design

Y2 - 30 October 2011 through 2 November 2011

ER -

Automated Error Localization and Correction for Imperative Programs

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this

Automated Error Localization and Correction for Imperative Programs

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this