Speeding up Slicing (1994)
| Venue: | In Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering |
| Citations: | 76 - 12 self |
BibTeX
@INPROCEEDINGS{Reps94speedingup,
author = {Thomas Reps and Susan Horwitz and Mooly Sagiv and Genevieve Rosay},
title = {Speeding up Slicing},
booktitle = {In Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering},
year = {1994},
pages = {11--20},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Program slicing is a fundamental operation for manysoftware engineering tools. Currently,the most efficient algorithm for interprocedural slicing is one that uses a program representation called the system dependence graph. This paper defines a newalgorithm for slicing with system dependence graphs that is asymptotically faster than the previous one. Apreliminary experimental study indicates that the newalgorithm is also significantly faster in practice, providing roughly a 6-fold speedup on examples of 348 to 757 lines. CR Categories and Subject Descriptors: D.2.2 [Software Engineering]: Tools and Techniques - programmer workbench; D.2.6 [SoftwareEngineering]: Programming Environments; D.2.7 [SoftwareEngineering]: Distribution and Maintenance - enhancement, restructuring;E.1 [Data Structures] graphs General Terms: Algorithms, Performance Additional Key Words and Phrases: dynamic programming, dynamic transitive closure, flow-sensitive summary information, program debugging, program ...
Citations
| 94 | Incremental program testing using program dependence graphs - Bates, Horwitz |
| 82 | Slicing programs with arbitrary control flow - Ball, Horwitz - 1993 |
| 57 | On slicing programs with jump statements - Agrawal |
| 46 | Using semantic differencing to reduce the cost of regression testing - Binkley |
| 16 | Interprocedural Constant Propagation using Dependence Graphs and a DataFlow Model - Binkley - 1994 |
| 6 | Multi-procedure program integration," Ph.D. dissertation and - Binkley - 1991 |
| 1 | Speedup of ordinary programs,"Ph.D. dissertation and - Bannerjee - 1979 |
