Fault localization and correction with QBF

Stefan Simon Staber, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationTheory and Applications of Satisfiability Testing – SAT 2007
PublisherSpringer
Pages355-268
Volume4501
ISBN (Print)978-3-540-72787-3
DOIs
Publication statusPublished - 2007
EventInternational Conference on Theory and Applications of Satisfiability Testing - Lissabon, Portugal
Duration: 28 May 200731 May 2007

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Conference on Theory and Applications of Satisfiability Testing
CountryPortugal
CityLissabon
Period28/05/0731/05/07

Cite this