Dynamic program slicing

DOI10.1016/0020-0190(88)90054-3zbMath0656.68018OpenAlexW2110066339WikidataQ59699419 ScholiaQ59699419MaRDI QIDQ1110308

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

trajectorydata dependencedebuggingslicingcontrol dependencedynamic slice

Mathematics Subject Classification ID

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

Related Items

Abstract Program Slicing, Explaining safety violations in real-time systems, On detecting environment sensitivity using slicing, Slicing concurrent constraint programs, Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis, Maximal and Minimal Dynamic Petri Net Slicing, Automated debugging based on a constraint model of the program and a test case, A parallel algorithm for static program slicing, A trajectory-based strict semantics for program slicing, Combining dynamic and static slicing for analysing assembler, Dynamic slicing of lazy functional programs based on redex trails, Theoretical foundations of dynamic program slicing, On the relationship between model-based debugging and program slicing, Debugging Maude programs via runtime assertion checking and trace slicing, Slicing communicating automata specifications: Polynomial algorithms for model reduction, Slicing programs in the presence of errors, Simulation of operational semantics of machine instructions, On the computational complexity of dynamic slicing problems for program schemas, A compact execution history for dynamic slicing, An efficient method for computing dynamic program slices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Program Slicing
• AIDA–A dynamic data flow anomaly detection system for pascal programs
• A fast algorithm for finding dominators in a flowgraph
• A Comparison of Two Algorithms for Global Data Flow Analysis
• Certification of programs for secure information flow
• Data Flow Analysis for Procedural Languages
• Detection of Data Flow Anomaly Through Program Instrumentation
• A Data Flow Oriented Program Testing Strategy
• Information-flow and data-flow analysis of while-programs
• The theory of languages