Repair with On-The-Fly Program Analysis

Robert Könighofer, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
PublisherSpringer
Pages56-71
Volume7857
ISBN (Print)978-3-642-39610-6
Publication statusPublished - 2012
EventHaifa Verification Conference - Haifa, Israel
Duration: 6 Nov 20128 Nov 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceHaifa Verification Conference
CountryIsrael
CityHaifa
Period6/11/128/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this