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

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	deutsch
Titel	13th International Conference on Quality Software
Herausgeber (Verlag)	.
Seiten	139-148
DOIs	https://doi.org/10.1109/QSIC.2013.46
Publikationsstatus	Veröffentlicht - 2013
Veranstaltung	13th International Conference on Quality Software: QSIC 2013 - Nanjing, China Dauer: 29 Juli 2013 → 30 Juli 2013

Konferenz

Konferenz	13th International Conference on Quality Software
Land/Gebiet	China
Ort	Nanjing
Zeitraum	29/07/13 → 30/07/13

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.1109/QSIC.2013.46

Dieses zitieren

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. ., S. 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 -