Dynamic program slicing

DOI10.1016/0020-0190(88)90054-3MaRDI QIDQ1110308zbMATH OpenOpenAlexWikidataFDO

Authors Bogdan Korel, Janusz Laski

Publication date 1988

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(88)90054-3

zbMATH Keywords

trajectoryslicingdebuggingdata dependencecontrol dependencedynamic slice

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program Slicing
• An efficient method for computing dynamic program slices
• Understanding program slices
• Theoretical foundations of dynamic program slicing
• Static and dynamic slicing of constraint logic programs

Cites work

• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 3560709 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• A Comparison of Two Algorithms for Global Data Flow Analysis
• A Data Flow Oriented Program Testing Strategy
• A fast algorithm for finding dominators in a flowgraph
• AIDA–A dynamic data flow anomaly detection system for pascal programs
• Certification of programs for secure information flow
• Data Flow Analysis for Procedural Languages
• Detection of Data Flow Anomaly Through Program Instrumentation
• Information-flow and data-flow analysis of while-programs
• Program Slicing
• The theory of languages

Cited in

(31)

• A compact execution history for dynamic slicing
• Explaining safety violations in real-time systems
• Causally Consistent Dynamic Slicing
• Slicing communicating automata specifications: Polynomial algorithms for model reduction
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Understanding program slices
• scientific article; zbMATH DE number 1870530 (Why is no real title available?)
• Theoretical foundations of dynamic program slicing
• Slicing programs in the presence of errors
• On the computational complexity of dynamic slicing problems for program schemas
• scientific article; zbMATH DE number 148937 (Why is no real title available?)
• Automated debugging based on a constraint model of the program and a test case
• Debugging Maude programs via runtime assertion checking and trace slicing
• Combining dynamic and static slicing for analysing assembler
• On the relationship between model-based debugging and program slicing
• Integrating different versions of programs with backward and forward slices
• On slicing of programs with input statements
• Dynamic slicing of lazy functional programs based on redex trails
• Dynamic slicing of aspect-oriented programs
• Simulation of operational semantics of machine instructions
• On detecting environment sensitivity using slicing
• Experimental Evaluation of program slicing for fault localization
• Combining runtime checking and slicing to improve Maude error diagnosis
• Maximal and Minimal Dynamic Petri Net Slicing
• Using Relational Verification for Program Slicing
• An efficient method for computing dynamic program slices
• The value of slicing while debugging
• Program Slicing
• Dynamic slicing: a generic analysis based on a natural semantics format
• A trajectory-based strict semantics for program slicing
• A parallel algorithm for static program slicing

This page was built for publication: Dynamic program slicing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1110308)