Szkupien, Péter. “Valós Idejű Tesztek Generálása Időzített Viselkedésmodellekből.” Bachelor’s thesis, Budapest University of Technology and Economics, 2020.

@mastersthesis{szkupien-peter-bsc,
  author = {Szkupien, P\'eter},
  title = {Val\'os idej\H u tesztek gener\'al\'asa id\H oz\'itett viselked\'esmodellekb\H ol},
  school = {Budapest University of Technology and Economics},
  year = {2020},
  type = {Bachelor{\textquoteright}s thesis}
}