@conference {SGB07,
	title = {Verifying the Concept of Union Slices on Java Programs},
	booktitle = {Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR{\textquoteright}07)},
	year = {2007},
	month = {mar},
	pages = {233-242},
	author = {A. Szegedi and Tam{\'a}s Gergely and {\'A}rp{\'a}d Besz{\'e}des and Tibor Gyim{\'o}thy and T{\'o}th, G.}
}
