Repair with On-The-Fly Program Analysis

Robert Könighofer; Roderick Paul Bloem

Repair with On-The-Fly Program Analysis

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 - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Publisher	Springer
Pages	56-71
Volume	7857
ISBN (Print)	978-3-642-39610-6
Publication status	Published - 2012
Event	Haifa Verification Conference - Haifa, Israel Duration: 6 Nov 2012 → 8 Nov 2012

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Haifa Verification Conference
Country/Territory	Israel
City	Haifa
Period	6/11/12 → 8/11/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

repair_hvc12.pdfFinal published version, 549 KB

Cite this

Repair with On-The-Fly Program Analysis. / Könighofer, Robert; Bloem, Roderick Paul.
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Vol. 7857 Springer, 2012. p. 56-71 (Lecture Notes in Computer Science).

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

@inproceedings{443eaa1d301d40319c2ffb1a84dafa03,

title = "Repair with On-The-Fly Program Analysis",

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

year = "2012",

language = "English",

isbn = "978-3-642-39610-6",

volume = "7857",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "56--71",

booktitle = "Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers",

note = "Haifa Verification Conference ; Conference date: 06-11-2012 Through 08-11-2012",

}

TY - GEN

T1 - Repair with On-The-Fly Program Analysis

AU - Könighofer, Robert

AU - Bloem, Roderick Paul

PY - 2012

Y1 - 2012

UR - http://link.springer.com/chapter/10.1007%2F978-3-642-39611-3_11

UR - https://www.research.ibm.com/haifa/conferences/hvc2012/index.shtml

M3 - Conference paper

SN - 978-3-642-39610-6

VL - 7857

T3 - Lecture Notes in Computer Science

SP - 56

EP - 71

BT - Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

PB - Springer

T2 - Haifa Verification Conference

Y2 - 6 November 2012 through 8 November 2012

ER -

Repair with On-The-Fly Program Analysis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

FWF - RiSE - Rigorous Systems Engineering

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

Formal Methods for Design & Verification

Cite this

Repair with On-The-Fly Program Analysis

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

FWF - RiSE - Rigorous Systems Engineering

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

Formal Methods for Design & Verification

Cite this