@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.} }