Verifying the concept of union slices on Java programs (2007)

by A Szegedi, T Gergely, A Beszédes, T Gyimóthy, G Tóth
Venue:In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR’07