Thomas Quaritsch
According to our database1,
Thomas Quaritsch
authored at least 6 papers
between 2011 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
0
1
2
3
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the ECAI 2012, 2012
2011
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking.
Proceedings of the 11th International Conference on Quality Software, 2011