@phdthesis{Ciupa08, author = {Ilinca Ciupa}, title = {Strategies for random-contract based testing }, school = {ETH Zurich, Switzerland}, year = {2008}, urltopdf = {/old/people/ciupa/papers/thesis.pdf} }