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

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	Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)
Place of Publication	Berlin Heidelberg
Publisher	Springer
Pages	92-98
Volume	8855
ISBN (Print)	978-3-319-13337-9
DOIs	https://doi.org/10.1007/978-3-319-13338-6_8
Publication status	Published - 2014
Event	Haifa Verification Conference - Haifa, Israel Duration: 18 Nov 2014 → 20 Nov 2014

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	18/11/14 → 20/11/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

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

extended.pdfFinal published version, 301 KB

Cite this

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). Vol. 8855 Berlin Heidelberg: Springer, 2014. p. 92-98 (Lecture Notes in Computer Science).

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

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). vol. 8855, Lecture Notes in Computer Science, Springer, Berlin Heidelberg, pp. 92-98, Haifa Verification Conference, 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

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

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

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this

Automatic Error Localization for Software using Deductive Verification

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

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

RiSE - Rigorous Systems Engineering

Formal Methods for Design & Verification

Cite this