Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Toth. Verifying the Concept of Union Slices on Java Programs. In René L. Krikhaar, Chris Verhoef, Giuseppe A. Di Lucca, editors, 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands. pages 233-242, IEEE Computer Society, 2007. [doi]
Abstract is missing.