@inproceedings {DDECS2003_tvp,
	title = {Model-Level Automatic Test Generation for {UML Statecharts}},
	booktitle = {Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003)},
	year = {2003},
	month = {April 14{\textendash}16},
	pages = {293{\textendash}294},
	address = {Poznan, Poland},
	author = {Andr{\'a}s T{\'o}th and D{\'a}niel Varr{\'o} and Andr{\'a}s Pataricza},
	editor = {Jerzy Tyszer and Piestrak, Stanislaw J. and Tiexeira, Joao Paulo}
}
