Automated Error Localization and Correction for Imperative Programs

Robert Könighofer; Roderick Paul Bloem

Automated Error Localization and Correction for Imperative Programs

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
Erscheinungsort	Piscataway, NJ, USA
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	91-100
ISBN (Print)	978-1-4673-0896-0
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	International Conference on Formal Methods in Computer-Aided Design - Austin, Texas, USA / Vereinigte Staaten Dauer: 30 Okt. 2011 → 2 Nov. 2011

Konferenz

Konferenz	International Conference on Formal Methods in Computer-Aided Design
Land/Gebiet	USA / Vereinigte Staaten
Ort	Austin, Texas
Zeitraum	30/10/11 → 2/11/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

final_fmcad11.pdfEndgültige, publizierte Fassung, 495 KB

Andere Dateien und Links

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Foschungsprojekt
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet

Dieses zitieren

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. S. 91-100.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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, S. 91-100, International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, USA / Vereinigte Staaten, 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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

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

Formal Methods for Design & Verification

Dieses zitieren