- Patrick Koch: Smelly Spreadsheet Structures: Structural Analysis of Spreadsheets to enhance Smell Detection, Master’s thesis, 2016. [Slides]
- Elisabeth Getzner: Improvements for Spectrum-based Fault Localization, Master’s thesis, 2015. [Slides]
- Patrick Koch: Smells and Units: An Overview of Selected Static Analysis Methods for Spreadsheets, Diploma seminar, 2015.
[Slides]
- Andrea Höfler: On the Usage of Value- and Dependency-based Models for Spreadsheet Debugging with SMT Solvers, Master’s thesis, 2015. [Slides]
- Elisabeth Getzner: Survey of Fault Localization Techniques for Spreadsheets, Diploma seminar, 2014. [Slides]
- Andrea Höfler: SMT Solver Comparison, Diploma seminar, 2014. [Slides]
Benchmarks and quality assurance techniques for spreadsheets