Thomas Schmitz

17 papers A* 3B 3C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2019 J jnl
Fragment-based spreadsheet debugging.
Autom. Softw. Eng.
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa
2018 — conf
Combining spreadsheet smells for improved fault prediction.
ICSE (NIER)
Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz
2018 — ch.
Parallel Model-Based Diagnosis.
Handbook of Parallel Constraint Reasoning
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz
2017 B conf
A decomposition-based approach to spreadsheet testing and debugging.
VL/HCC
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
2017 B conf
An Al-based interactive tool for spreadsheet debugging.
VL/HCC
Thomas Schmitz, Dietmar Jannach
2017 — —
Automated model-based spreadsheet debugging.
Thomas Schmitz
2016 A* conf
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses.
IJCAI
Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach
2016 B conf
Finding errors in the Enron spreadsheet corpus.
VL/HCC
Thomas Schmitz, Dietmar Jannach
2016 — conf
Fragment-Based Diagnosis of Spreadsheets.
STAF Workshops
Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa
2016 J jnl
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach.
Autom. Softw. Eng.
Dietmar Jannach, Thomas Schmitz
2016 J jnl
Parallel Model-Based Diagnosis on Multi-Core Computers.
J. Artif. Intell. Res.
Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin
2015 C conf
A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis.
DX
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz
2015 A* conf
MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.
IJCAI
Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz
2015 A* conf
Parallelized Hitting Set Computation for Model-Based Diagnosis.
AAAI
Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin
2015 — conf
Using Calculation Fragments for Spreadsheet Testing and Debugging.
SEMS@ICSE
Dietmar Jannach, Thomas Schmitz
2015 J jnl
Using Calculation Fragments for Spreadsheet Testing and Debugging.
CoRR
Dietmar Jannach, Thomas Schmitz
2014 J jnl
Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA.
J. Syst. Softw.
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa