Michael Tautschnig. Query-Driven Program Testing. PhD thesis, Vienna University of Technology, 2011. [ bib | .pdf ]

 

Michael Tautschnig. Development of a tool to solve mixed logical/linear constraint problems. Master's thesis, Technische Universität München, February 2006. [ bib | .pdf ]

This file was generated by bibtex2html 1.99.