The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. - Stefan J. Galler; Thomas Quaritsch; Martin Weiglhofer; Franz Wotawa (QSIC, 2011)

Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. - Ingo Pill; Thomas Quaritsch (ECAI, 2012)

The Route to Success - A Performance Comparison of Diagnosis Algorithms. - Iulia Nica; Ingo Pill; Thomas Quaritsch; Franz Wotawa (IJCAI, 2013)

Behavioral Diagnosis of LTL Specifications at Operator Level. - Ingo Pill; Thomas Quaritsch (IJCAI, 2013)

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. - Ingo Pill; Thomas Quaritsch (ISSRE Workshops, 2015)

Parse tree structure in LTL requirements diagnosis. - Ingo Pill; Thomas Quaritsch; Franz Wotawa (ISSRE Workshops, 2015)