The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets

Birgit Gertraud Hofer; Franz Wotawa; Simon Außerlechner; Sandra Fruhmann; Wolfgang Wieser; Clemens Mühlbacher; Raphael Spörk

doi:10.1109/QSIC.2013.46

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets

Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher, Raphael Spörk

Institute of Software Technology (7160)

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

Original language	German
Title of host publication	13th International Conference on Quality Software
Publisher	.
Pages	139-148
DOIs	https://doi.org/10.1109/QSIC.2013.46
Publication status	Published - 2013
Event	13th International Conference on Quality Software: QSIC 2013 - Nanjing, China Duration: 29 Jul 2013 → 30 Jul 2013

Conference

Conference	13th International Conference on Quality Software
Country/Territory	China
City	Nanjing
Period	29/07/13 → 30/07/13

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/QSIC.2013.46

Cite this

Hofer, BG , Wotawa, F, Außerlechner, S, Fruhmann, S, Wieser, W, Mühlbacher, C & Spörk, R 2013, The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. in 13th International Conference on Quality Software. ., pp. 139-148, 13th International Conference on Quality Software, Nanjing, China, 29/07/13. https://doi.org/10.1109/QSIC.2013.46

@inproceedings{b4ab0a4fe5214aeb8a960c1ed4c3fa3f,

title = "The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets",

author = "Hofer, {Birgit Gertraud} and Franz Wotawa and Simon Au{\ss}erlechner and Sandra Fruhmann and Wolfgang Wieser and Clemens M{\"u}hlbacher and Raphael Sp{\"o}rk",

year = "2013",

doi = "10.1109/QSIC.2013.46",

language = "deutsch",

pages = "139--148",

booktitle = "13th International Conference on Quality Software",

publisher = ".",

note = "13th International Conference on Quality Software : QSIC 2013 ; Conference date: 29-07-2013 Through 30-07-2013",

}

TY - GEN

T1 - The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets

AU - Hofer, Birgit Gertraud

AU - Wotawa, Franz

AU - Außerlechner, Simon

AU - Fruhmann, Sandra

AU - Wieser, Wolfgang

AU - Mühlbacher, Clemens

AU - Spörk, Raphael

PY - 2013

Y1 - 2013

U2 - 10.1109/QSIC.2013.46

DO - 10.1109/QSIC.2013.46

M3 - Beitrag in einem Konferenzband

SP - 139

EP - 148

BT - 13th International Conference on Quality Software

PB - .

T2 - 13th International Conference on Quality Software

Y2 - 29 July 2013 through 30 July 2013

ER -