Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Toth
Verifying the Concept of Union Slices on Java Programs
CSMR, 2007.
@inproceedings{CSMR-2007-SzegediGBGT,
author = "Attila Szegedi and Tamás Gergely and Árpád Beszédes and Tibor Gyimóthy and Gabriella Toth",
booktitle = "{Proceedings of the 11th European Conference on Software Maintenance and Reengineering}",
doi = "10.1109/CSMR.2007.53",
editor = "René L. Krikhaar and Chris Verhoef and Giuseppe Antonio Di Lucca",
isbn = "0-7695-2802-3",
pages = "233--242",
publisher = "{IEEE Computer Society}",
title = "{Verifying the Concept of Union Slices on Java Programs}",
year = 2007,
}
Tags: