Automated Error Localization and Correction for Imperative Programs

Robert Könighofer, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
ErscheinungsortPiscataway, NJ, USA
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten91-100
ISBN (Print)978-1-4673-0896-0
PublikationsstatusVeröffentlicht - 2011
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, USA / Vereinigte Staaten
Dauer: 30 Okt 20112 Nov 2011

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtAustin, Texas
Zeitraum30/10/112/11/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren