FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, Andre Sülflow

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

Original languageEnglish
Title of host publicationHaifa Verification Conference
PublisherSpringer
Pages260-265
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

Bloem, R. P., Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., ... Sülflow, A. (2012). FoREnSiC - An Automatic Debugging Environment for C Programs. In Haifa Verification Conference (Vol. 7857, pp. 260-265). (Lecture Notes in Computer Science). Springer.