Automatic Error Localization for Software using Deductive Verification

Robert Könighofer; Ronald Tögl; Roderick Paul Bloem

doi:10.1007/978-3-319-13338-6_8

Automatic Error Localization for Software using Deductive Verification

Robert Könighofer, Ronald Tögl, Roderick Paul Bloem

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

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

Originalsprache	englisch
Titel	Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)
Erscheinungsort	Berlin Heidelberg
Herausgeber (Verlag)	Springer
Seiten	92-98
Band	8855
ISBN (Print)	978-3-319-13337-9
DOIs	https://doi.org/10.1007/978-3-319-13338-6_8
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	Haifa Verification Conference 2014 - Haifa, Israel Dauer: 18 Nov. 2014 → 20 Nov. 2014

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	Haifa Verification Conference 2014
Land/Gebiet	Israel
Ort	Haifa
Zeitraum	18/11/14 → 20/11/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Zugriff auf Dokument

10.1007/978-3-319-13338-6_8

extended.pdfEndgültige, publizierte Fassung, 301 KB

Andere Dateien und Links

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Forschungsprojekt
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt
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

Automatic Error Localization for Software using Deductive Verification. / Könighofer, Robert; Tögl, Ronald; Bloem, Roderick Paul.
Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Band 8855 Berlin Heidelberg: Springer, 2014. S. 92-98 (Lecture Notes in Computer Science).

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

Könighofer, R, Tögl, R & Bloem, RP 2014, Automatic Error Localization for Software using Deductive Verification. in Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Bd. 8855, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, S. 92-98, Haifa Verification Conference 2014, Haifa, Israel, 18/11/14. https://doi.org/10.1007/978-3-319-13338-6_8

@inproceedings{bbe706ba170d457ca858fb7f8be99603,

title = "Automatic Error Localization for Software using Deductive Verification",

author = "Robert K{\"o}nighofer and Ronald T{\"o}gl and Bloem, {Roderick Paul}",

year = "2014",

doi = "10.1007/978-3-319-13338-6_8",

language = "English",

isbn = "978-3-319-13337-9",

volume = "8855",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "92--98",

booktitle = "Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)",

note = "Haifa Verification Conference ; Conference date: 18-11-2014 Through 20-11-2014",

}

TY - GEN

T1 - Automatic Error Localization for Software using Deductive Verification

AU - Könighofer, Robert

AU - Tögl, Ronald

AU - Bloem, Roderick Paul

PY - 2014

Y1 - 2014

UR - http://www.research.ibm.com/haifa/conferences/hvc2014/

UR - http://link.springer.com/chapter/10.1007%2F978-3-319-13338-6_8

U2 - 10.1007/978-3-319-13338-6_8

DO - 10.1007/978-3-319-13338-6_8

M3 - Conference paper

SN - 978-3-319-13337-9

VL - 8855

T3 - Lecture Notes in Computer Science

SP - 92

EP - 98

BT - Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)

PB - Springer

CY - Berlin Heidelberg

T2 - Haifa Verification Conference

Y2 - 18 November 2014 through 20 November 2014

ER -

Automatic Error Localization for Software using Deductive Verification

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Dieses zitieren