@misc{test08,
  title = {Using {Q}uick{C}heck to test software},
  author = {Csaba Hoch},
  howpublished = {National Scientific Students' Associations Conference, ELTE, Budapest, Hungary},
  year = {2008},
  url = {http://plc.inf.elte.hu/erlang/pub/quick_check_tdk.pdf},
  urltag = {thesis},
}