All publications listed here are linked to the publisher web pages (Springer Link, IEEE Xplore, …). In case you cannot download the papers from these web pages, please contact .

Journals

• Birgit Hofer, Andrea Höfler, Franz Wotawa:
  Combining Models for Improved Fault Localization in Spreadsheets.  IEEE Transactions on Reliability, Volume: 66, Issue:1, pages 38-53, March 2017.
• Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa: On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Automated Software Engineering 22(1): 47-74 (2015).
• Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa: Using constraints to diagnose faulty spreadsheets.  Software Quality Journal 23(2): 297-322 (2015).
• Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa: Avoiding, finding and fixing spreadsheet errors – A survey of automated approaches for spreadsheet QA. Journal of Systems and Software 94: 129-150 (2014).

Conferences

• Birgit Hofer, Iulia Nica and Franz Wotawa: AI for localizing faults in spreadsheets.  The 29th International conference on Testing Software and Systems (ICTSS): 2017, 71-87.
• Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick Koch, Kostyantyn Shchekotykhin and Franz Wotawa: A Decomposition-Based Approach to Spreadsheet Testing and Debugging. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC): 2017.
• Elisabeth Getzner, Birgit Hofer, and Franz Wotawa:
  Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. The 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS): 102-113, 2017.  [Slides]
• Birgit Hofer, Franz Wotawa, Rui Abreu, and Simon Außerlechner:
  Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach. The 27th International Conference on Testing Software and Systems (ICTSS): 124-140, 2015.
• Birgit Hofer, Franz Wotawa: Fault localization in the light of faulty user input. The 2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015): 282-291. [Slides]
• Birgit Hofer, Franz Wotawa: Why Does my Spreadsheet Compute Wrong Values? 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014): 112-121. [Slides]
• Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa: Generation of Relevant Spreadsheet Repair Candidates.  21st European Conference on Artificial Intelligence (ECAI 2014 ): 1027-1028. [Poster]
• Birgit Hofer, Franz Wotawa: Comparing Models for Spreadsheet Fault Localization. 21st European Conference on Artificial Intelligence (ECAI 2014 ): 1029-1030. [Poster]
• Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner: On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.  16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Lecture Notes in Computer Science: 68-82. [Slides]
• Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spörk, Clemens Muhlbacher, Franz Wotawa: The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. 2013 13th International Conference on Quality Software (QSIC 2013): 139-148. [Slides]

Workshops

• Birgit Hofer, Iulia Nica, and Franz Wotawa: Qualitative Deviation Models for Spreadsheet Debugging. 8th IEEE International Workshop on Program Debugging (lSSRE Workshops):  2017, to appear. [Slides]
• Birgit Hofer: Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging. 8th IEEE International Workshop on Program Debugging (lSSRE Workshops):  2017.  [Slides]
• Birgit Hofer, Iulia Nica, and Franz Wotawa: Qualitative deviation models vs. quantitative models for fault localization in spreadsheets. 30th Workshop on Qualitative Reasoning (QR): 2017. [Slides]
• Patrick W. Koch,  Birgit Hofer,  Franz Wotawa: Static Spreadsheet Analysis. 7th IEEE International Workshop on Program Debugging (lSSRE Workshops)  2016: 167-174. [Slides]
• Franz Wotawa: On the use of qualitative deviation models for diagnosis. 29th International Workshop Qualitative Reasoning  (QR), 2016, New York, U.S.A.
• Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa: Fragment-Based Diagnosis of Spreadsheets. 3rd International Workshop on Software Engineering Methods in Spreadsheets, 2016: 372-387.
• Birgit Hofer, Franz Wotawa: Improving dependency-based models for fault localization in spreadsheets. 25th International Workshop on Principles of Diagnosis (DX 2014). BEST PAPER AWARD
• Birgit Hofer: Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality. 5th IEEE International Workshop on Program Debugging (IWPD 2014), ISSRE (Supplemental Proceedings) 2014: 263-268. [Slides]
• Birgit Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin, Franz Wotawa: Tool-supported fault localization in spreadsheets: Limitations of current research practice. International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2014).  [Slides]
• Birgit Hofer, Franz Wotawa: On the Usage of Dependency-based Models for Spreadsheet Debugging. International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2014).
• Birgit Hofer, Franz Wotawa: Mutation-based spreadsheet debugging. 4th IEEE International Workshop on Program Debugging (IWPD 2013), ISSRE (Supplemental Proceedings) 2013: 132-137. BEST PAPER AWARD