Article

Program Slicing in Understanding of Large Programs

Authors:

B. Korel,

J. RillingAuthors Info & Claims

IWPC '98: Proceedings of the 6th International Workshop on Program Comprehension

Page 145

Published: 24 June 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Hu YWang WHunger CWood RKhurshid STiwari MSpinellis DGousios GChechik MDi Penta M(2021)ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilitiesProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468627(316-327)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3468264.3468627
Zhang TShen WLee DJung CAzab AWang RHeninger NTraynor P(2019)PeXProceedings of the 28th USENIX Conference on Security Symposium10.5555/3361338.3361422(1205-1220)Online publication date: 14-Aug-2019
https://dl.acm.org/doi/10.5555/3361338.3361422
Cortesi AHalder RBrabrand CMoreau P(2010)Dependence condition graph for semantics-based abstract program slicingProceedings of the Tenth Workshop on Language Descriptions, Tools and Applications10.1145/1868281.1868285(1-6)Online publication date: 28-Mar-2010
https://dl.acm.org/doi/10.1145/1868281.1868285
Show More Cited By

Program Slicing in Understanding of Large Programs

Recommendations

Understanding Function Behaviors through Program Slicing
WPC '96: Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)

We present conditioned slicing as a general slicing framework for program comprehension. A conditioned slice consists of a subset of program statements which preserves the behavior of the original program with respect to a set of program executions. The ...
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference ...
Dynamic Program Slicing in Understanding of Program Execution
WPC '97: Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)

A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of interest at some execution position. In the existing dynamic slicing ...

Comments

Information & Contributors

Information

Published In

IWPC '98: Proceedings of the 6th International Workshop on Program Comprehension

June 1998

ISBN:0818685603

Publisher

IEEE Computer Society

United States

Publication History

Published: 24 June 1998

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hu YWang WHunger CWood RKhurshid STiwari MSpinellis DGousios GChechik MDi Penta M(2021)ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilitiesProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468627(316-327)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3468264.3468627
Zhang TShen WLee DJung CAzab AWang RHeninger NTraynor P(2019)PeXProceedings of the 28th USENIX Conference on Security Symposium10.5555/3361338.3361422(1205-1220)Online publication date: 14-Aug-2019
https://dl.acm.org/doi/10.5555/3361338.3361422
Cortesi AHalder RBrabrand CMoreau P(2010)Dependence condition graph for semantics-based abstract program slicingProceedings of the Tenth Workshop on Language Descriptions, Tools and Applications10.1145/1868281.1868285(1-6)Online publication date: 28-Mar-2010
https://dl.acm.org/doi/10.1145/1868281.1868285
Harman MBinkley DGallagher KGold NKrinke J(2009)Dependence clusters in source codeACM Transactions on Programming Languages and Systems10.1145/1596527.159652832:1(1-33)Online publication date: 4-Nov-2009
https://dl.acm.org/doi/10.1145/1596527.1596528
Xu BQian JZhang XWu ZChen L(2005)A brief survey of program slicingACM SIGSOFT Software Engineering Notes10.1145/1050849.105086530:2(1-36)Online publication date: 1-Mar-2005
https://dl.acm.org/doi/10.1145/1050849.1050865
Binkley DHarman M(2004)Analysis and Visualization of Predicate Dependence on Formal Parameters and Global VariablesIEEE Transactions on Software Engineering10.1109/TSE.2004.7830:11(715-735)Online publication date: 1-Nov-2004
https://dl.acm.org/doi/10.1109/TSE.2004.78
Li HRilling JGoswami D(2004)Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing SystemsAutomated Software Engineering10.1023/B:AUSE.0000008668.12782.6c11:1(63-89)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1023/B%3AAUSE.0000008668.12782.6c
Binkley DHarman MClarke LDillon LTichy W(2003)An empirical study of predicate dependence levels and trendsProceedings of the 25th International Conference on Software Engineering10.5555/776816.776856(330-339)Online publication date: 3-May-2003
https://dl.acm.org/doi/10.5555/776816.776856
Bojic DVelasevic D(2001)Reverse Engineering of Use Case Realizations in UMLACM SIGSOFT Software Engineering Notes10.1145/352342.231721625:4(56-61)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.1145/352342.2317216
Bojic DVelasevic DBryant B(2000)Reverse engineering of use case realizations in UMLProceedings of the 2000 ACM symposium on Applied computing - Volume 210.1145/338407.338555(741-747)Online publication date: 1-Mar-2000
https://dl.acm.org/doi/10.1145/338407.338555

Abstract

Cited By

Recommendations

Understanding Function Behaviors through Program Slicing

Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

Dynamic Program Slicing in Understanding of Program Execution

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations