@INPROCEEDINGS{SGB07,
   author       = "Szegedi, Attila and Gergely, Tam\'as and Besz\'edes, \'Arp\'ad and Gyim\'othy, Tibor and T\'oth, Gabriella",
   title        = "Verifying the Concept of Union Slices on {Java} Programs",
   booktitle    = "Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR'07)",
   year         = 2007,
   month        = mar,
   location     = "Amsterdam, the Netherlands",
   pages        = "233-242",
}