@mastersthesis{arvaniti11,
  author = {Eirini Arvaniti},
  title  = {{Automated Random Model-Based Testing of Stateful Systems}},
  school = {National Technical University of Athens, School of Electrical
	    and Computer Engineering},
  year   = {2011},
  month  = {July},
  type   = {Diploma thesis},
  note   = {\url{http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2011-0142/DT2011-0142.pdf}},
}