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 contribution

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