@INPROCEEDINGS{BBG09,
   author       = "Bakota, Tibor and Besz\'edes, \'Arp\'ad and Gergely, Tam\'as and Gyalai, Mil\'an and Gyim\'othy, Tibor and F{\"u}leki, D\'aniel",
   title        = "Semi-Automatic Test Case Generation from Business Process Models",
   booktitle    = "Proceedings of the 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering (SPLST'09)",
   year         = 2009,
   month        = aug,
   pages        = "5-18",
   location     = "Tampere, Finland"
}