Dissertation Automated Software Testing with Model Checkers Gordon Fraser October 2007 IST - Institute for Softwaretechnology Graz University of Technology Supervised and…
