Dissertation within TRUFAL

Elisabeth Jöbstl finished her dissertation, which was conducted within the TRUFAL project:

Elisabeth Jöbstl: “Model-Based Mutation Testing with Constraint and SMT Solvers”. Graz University of Technology, Institute for Software Technology, 2014 [PDF]

The thesis has been supervised by Bernhard Aichernig from TU Graz. The defence took place at May 19th 2014.