@mastersthesis{micskeiz-MSc,
  author={Zoltan Micskei},
  title={Model-based Automatic Test Genearation},
  school={Budapest University of Technology and Economics},
  year={2005},
  address={Budapest, Hungary}
}