@conference {BBG09,
	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{\textquoteright}09)},
	year = {2009},
	month = {aug},
	pages = {5-18},
	author = {Tibor Bakota and {\'A}rp{\'a}d Besz{\'e}des and Tam{\'a}s Gergely and M. Gyalai and Tibor Gyim{\'o}thy and D. F{\"u}leki}
}
