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

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

Original languageGerman
Title of host publication13th International Conference on Quality Software
Publisher.
Pages139-148
DOIs
Publication statusPublished - 2013
EventInternational Conference on Quality Software -
Duration: 29 Jul 201330 Jul 2013

Conference

ConferenceInternational Conference on Quality Software
Period29/07/1330/07/13

Fields of Expertise

  • Information, Communication & Computing

Cite this

Hofer, B. G., 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). .. https://doi.org/10.1109/QSIC.2013.46

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. / Hofer, Birgit Gertraud; Wotawa, Franz; Außerlechner, Simon; Fruhmann, Sandra; Wieser, Wolfgang; Mühlbacher, Clemens; Spörk, Raphael.

13th International Conference on Quality Software. ., 2013. p. 139-148.

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

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, International Conference on Quality Software, 29/07/13. https://doi.org/10.1109/QSIC.2013.46
Hofer BG, Wotawa F, Außerlechner S, Fruhmann S, Wieser W, Mühlbacher C et al. The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. In 13th International Conference on Quality Software. . 2013. p. 139-148 https://doi.org/10.1109/QSIC.2013.46
Hofer, Birgit Gertraud ; Wotawa, Franz ; Außerlechner, Simon ; Fruhmann, Sandra ; Wieser, Wolfgang ; Mühlbacher, Clemens ; Spörk, Raphael. / The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. 13th International Conference on Quality Software. ., 2013. pp. 139-148
@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 = ".",

}

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

ER -