@mastersthesis{papadakis10,
  author = {Manolis Papadakis},
  title  = {{Automatic Random Testing of Function Properties from
	     Specifications}},
  school = {National Technical University of Athens, School of Electrical
	    and Computer Engineering},
  year   = {2010},
  month  = {October},
  type   = {Diploma thesis},
  note   = {\url{http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2010-0295/DT2010-0295.pdf}},
}