Thomas Schmitz

According to our database, Thomas Schmitz authored at least 16 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Fragment-based spreadsheet debugging.

Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa

Autom. Softw. Eng., 2019

2018

Combining spreadsheet smells for improved fault prediction.

Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Parallel Model-Based Diagnosis.

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Automated model-based spreadsheet debugging.

Thomas Schmitz

PhD thesis, 2017

A decomposition-based approach to spreadsheet testing and debugging.

Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

An Al-based interactive tool for spreadsheet debugging.

Thomas Schmitz, Dietmar Jannach

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

2016

Parallel Model-Based Diagnosis on Multi-Core Computers.

Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin

J. Artif. Intell. Res., 2016

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach.

Dietmar Jannach, Thomas Schmitz

Autom. Softw. Eng., 2016

Finding errors in the Enron spreadsheet corpus.

Thomas Schmitz, Dietmar Jannach

Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Fragment-Based Diagnosis of Spreadsheets.

Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa

Proceedings of the Software Technologies: Applications and Foundations, 2016

Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses.

Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis.

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis.

Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Using Calculation Fragments for Spreadsheet Testing and Debugging.

Dietmar Jannach, Thomas Schmitz

Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Parallelized Hitting Set Computation for Model-Based Diagnosis.

Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA.

Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa

J. Syst. Softw., 2014