Fault localization and correction with QBF

Stefan Simon Staber, Roderick Paul Bloem

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

Original language	English
Title of host publication	Theory and Applications of Satisfiability Testing – SAT 2007
Publisher	Springer
Pages	355-268
Volume	4501
ISBN (Print)	978-3-540-72787-3
DOIs	https://doi.org/10.1007/978-3-540-72788-0
Publication status	Published - 2007
Event	International Conference on Theory and Applications of Satisfiability Testing - Lissabon, Portugal Duration: 28 May 2007 → 31 May 2007

Name	Lecture notes in computer science
Publisher	Springer

Conference	International Conference on Theory and Applications of Satisfiability Testing
Country	Portugal
City	Lissabon
Period	28/05/07 → 31/05/07

Access to Document

@inproceedings{6ff01422a49649b1888a495aa0f4bbff,

title = "Fault localization and correction with QBF",

author = "Staber, {Stefan Simon} and Bloem, {Roderick Paul}",

year = "2007",

doi = "10.1007/978-3-540-72788-0",

language = "English",

isbn = "978-3-540-72787-3",

volume = "4501",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "355--268",

booktitle = "Theory and Applications of Satisfiability Testing – SAT 2007",

note = "International Conference on Theory and Applications of Satisfiability Testing ; Conference date: 28-05-2007 Through 31-05-2007",

}

TY - GEN

T1 - Fault localization and correction with QBF

AU - Staber, Stefan Simon

AU - Bloem, Roderick Paul

PY - 2007

Y1 - 2007

UR - http://www.springerlink.com/content/12p5j7l13t316q02/?p=852b6e2ba5c44b078376ec8bd7d95e0c&pi=0

U2 - 10.1007/978-3-540-72788-0

DO - 10.1007/978-3-540-72788-0

M3 - Conference paper

SN - 978-3-540-72787-3

VL - 4501

T3 - Lecture notes in computer science

SP - 355

EP - 268

BT - Theory and Applications of Satisfiability Testing – SAT 2007

PB - Springer

T2 - International Conference on Theory and Applications of Satisfiability Testing

Y2 - 28 May 2007 through 31 May 2007

ER -