Automatic Error Localization for Software using Deductive Verification

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014)
Place of PublicationBerlin Heidelberg
PublisherSpringer
Pages92-98
Volume8855
ISBN (Print)978-3-319-13337-9
DOIs
Publication statusPublished - 2014
EventHaifa Verification Conference - Haifa, Israel
Duration: 18 Nov 201420 Nov 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period18/11/1420/11/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Könighofer, R., Tögl, R., & Bloem, R. P. (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, pp. 92-98). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-319-13338-6_8

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 proceedingConference contributionResearchpeer-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
Könighofer R, Tögl R, Bloem RP. 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. Berlin Heidelberg: Springer. 2014. p. 92-98. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-13338-6_8
Könighofer, Robert ; Tögl, Ronald ; Bloem, Roderick Paul. / Automatic Error Localization for Software using Deductive Verification. Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Vol. 8855 Berlin Heidelberg : Springer, 2014. pp. 92-98 (Lecture Notes in Computer Science).
@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)",

}

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 contribution

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

ER -