Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA. - Dietmar Jannach; Thomas Schmitz 002; Birgit Hofer; Franz Wotawa (J. Syst. Softw., 2014)

Parallelized Hitting Set Computation for Model-Based Diagnosis. - Dietmar Jannach; Thomas Schmitz 002; Kostyantyn M. Shchekotykhin (AAAI, 2015)

Using Calculation Fragments for Spreadsheet Testing and Debugging. - Dietmar Jannach; Thomas Schmitz 002 (SEMS@ICSE, 2015)

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. - Kostyantyn M. Shchekotykhin; Dietmar Jannach; Thomas Schmitz 002 (IJCAI, 2015)

A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis. - Kostyantyn M. Shchekotykhin; Dietmar Jannach; Thomas Schmitz 002 (DX, 2015)

Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. - Kostyantyn M. Shchekotykhin; Thomas Schmitz 002; Dietmar Jannach (IJCAI, 2016)

Fragment-Based Diagnosis of Spreadsheets. - Thomas Schmitz 002; Birgit Hofer; Dietmar Jannach; Franz Wotawa (STAF Workshops, 2016)

Finding errors in the Enron spreadsheet corpus. - Thomas Schmitz 002; Dietmar Jannach (VL/HCC, 2016)

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. - Dietmar Jannach; Thomas Schmitz 002 (Autom. Softw. Eng., 2016)

Parallel Model-Based Diagnosis on Multi-Core Computers. - Dietmar Jannach; Thomas Schmitz 002; Kostyantyn M. Shchekotykhin (J. Artif. Intell. Res., 2016)

An Al-based interactive tool for spreadsheet debugging. - Thomas Schmitz 002; Dietmar Jannach (VL/HCC, 2017)

A decomposition-based approach to spreadsheet testing and debugging. - Thomas Schmitz 002; Dietmar Jannach; Birgit Hofer; Patrick W. Koch; Konstantin Schekotihin; Franz Wotawa (VL/HCC, 2017)

Automated model-based spreadsheet debugging. - Thomas Schmitz 002 (2017)

Parallel Model-Based Diagnosis. - Kostyantyn M. Shchekotykhin; Dietmar Jannach; Thomas Schmitz 002 (Handbook of Parallel Constraint Reasoning, 2018)

Combining spreadsheet smells for improved fault prediction. - Patrick W. Koch; Konstantin Schekotihin; Dietmar Jannach; Birgit Hofer; Franz Wotawa; Thomas Schmitz 002 (ICSE (NIER), 2018)

Fragment-based spreadsheet debugging. - Dietmar Jannach; Thomas Schmitz 002; Birgit Hofer; Konstantin Schekotihin; Patrick W. Koch; Franz Wotawa (Autom. Softw. Eng., 2019)