|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
11th European Conference on Software Maintenance and Reengineering (CSMR'07)
Verifying the Concept of Union Slices on Java Programs
Amsterdam, the Netherlands
March 21-March 23
ISBN: 0-7695-2802-3
| ASCII Text | x | ||
| Attila Szegedi, Tamas Gergely, Arpad Beszedes, Tibor Gyimothy, Gabriella Toth, "Verifying the Concept of Union Slices on Java Programs," 2011 15th European Conference on Software Maintenance and Reengineering, pp. 233-242, 11th European Conference on Software Maintenance and Reengineering (CSMR'07), 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/CSMR.2007.53, author = {Attila Szegedi and Tamas Gergely and Arpad Beszedes and Tibor Gyimothy and Gabriella Toth}, title = {Verifying the Concept of Union Slices on Java Programs}, journal ={2011 15th European Conference on Software Maintenance and Reengineering}, volume = {0}, year = {2007}, issn = {1534-5351}, pages = {233-242}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.53}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2011 15th European Conference on Software Maintenance and Reengineering TI - Verifying the Concept of Union Slices on Java Programs SN - 1534-5351 SP233 EP242 A1 - Attila Szegedi, A1 - Tamas Gergely, A1 - Arpad Beszedes, A1 - Tibor Gyimothy, A1 - Gabriella Toth, PY - 2007 KW - null VL - 0 JA - 2011 15th European Conference on Software Maintenance and Reengineering ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.53
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to reduce the program-part of interest meaningfully. In this paper we further investigate the concept of union slices, which are defined as the unions of dynamic slices computed for the same (static) slicing criteria, but for different executions of the program. We verify on real-world Java programs their usefulness as a replacement to static slices. For this we investigate the sizes of a number of backward and forward dynamic and union slices, also by comparing them to the corresponding static slices. Our results show that the union slices are precise enough (backward slices are 5 20% of the program and forward slices are 5 10%, the corresponding static slices being 25-45%), and that with the saturation of the overall coverage given many different executions, union slices also reach a steady level and typically do not grow further by adding new test cases.
Citation:
Attila Szegedi, Tamas Gergely, Arpad Beszedes, Tibor Gyimothy, Gabriella Toth, "Verifying the Concept of Union Slices on Java Programs," csmr, pp.233-242, 11th European Conference on Software Maintenance and Reengineering (CSMR'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.
