Dynamic slicing of computer programs
- 30 November 1990
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 13 (3) , 187-195
- https://doi.org/10.1016/0164-1212(90)90094-3
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Dynamic program slicingInformation Processing Letters, 1988
- AIDA–A dynamic data flow anomaly detection system for pascal programsSoftware: Practice and Experience, 1987
- The program dependence graph in static program testingInformation Processing Letters, 1987
- Information-flow and data-flow analysis of while-programsACM Transactions on Programming Languages and Systems, 1985
- A hierarchical approach to program testingACM SIGPLAN Notices, 1980
- Detection of Data Flow Anomaly Through Program InstrumentationIEEE Transactions on Software Engineering, 1979
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- Certification of programs for secure information flowCommunications of the ACM, 1977
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976
- A Comparison of Two Algorithms for Global Data Flow AnalysisSIAM Journal on Computing, 1976