Publications
2011/10
Ingo Pill, Thomas Quaritsch and Franz Wotawa
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
In Proceedings of the 22nd International Workshop on Principles of Diagnosis (DX 2011), Murnau, Germany. October 2011 (to appear).
2011/07
Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa
The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
In Proceedings of the 11th International Conference on Quality Software (QSIC 2011), Madrid, Spain. July 2011.
Theses
2011/02
Thomas Quaritsch
Test Data Generation using Static Call Sequence Analysis and Design by Contract™ Specifications
Master’s Thesis, Graz University of Technology, Austria.
2009/01
Thomas Quaritsch and Michael Unger
Developing an Online Photography Exposition Platform Using Ruby on Rails
Bachelor’s Thesis, Graz University of Technology, Austria.
Education
Graz University of Technology
PhD Computer Science, 2011/03 – now
I am working on my PhD in the field of model-based diagnosis of linear temporal logics
in the course of the FWF project
MoDiaForTed
led by DI Dr. Ingo Pill at the
Institute for Software Technology.
Supervisior:
Prof. Dr. Franz Wotawa.
Graz University of Technology
Master of Science, 2009/09 – 2011/02
I completed the Master's programme in Telematics in 2011 with distinction (Title of my thesis: Test Data Generation using Static Call Sequence Analysis and Design by Contract™ Specifications, Supervisors: Prof. Dr. Franz Wotawa, DI Dr. Stefan J. Galler). I specialized in the fields of software engineering and signal processing.
Graz University of Technology
Bachelor of Science, 2005/10 - 2009/09
I completed the Bachelor's programme in Telematics in 2009 with distinction.