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.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s