Program Slicing
From MaRDI portal
Publication:3345745
DOI10.1109/TSE.1984.5010248zbMath0552.68004MaRDI QIDQ3345745
Publication date: 1984
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (61)
Abstract Program Slicing ⋮ Explaining safety violations in real-time systems ⋮ Fast computation of strong control dependencies ⋮ Precise interprocedural dependence analysis of parallel programs ⋮ Scaling down discrete-event simulation models ⋮ Tracking CSP computations ⋮ Selectively-amortized resource bounding ⋮ Dynamic program slicing ⋮ An alternative characterization of weak order dependence ⋮ Slicing concurrent constraint programs ⋮ From NuSMV to SPIN: Experiences with model checking flight guidance systems ⋮ Maximal and Minimal Dynamic Petri Net Slicing ⋮ Static slicing of explicitly synchronized languages ⋮ Properties of data flow frameworks: A unified model ⋮ A formal semantics for program debugging ⋮ Black-box testing based on colorful taint analysis ⋮ Automated debugging based on a constraint model of the program and a test case ⋮ A theory of compaction-based parallelization ⋮ A unifying theory of control dependence and its application to arbitrary program structures ⋮ Improved method to generate path-wise test data ⋮ Correctly Slicing Extended Finite State Machines ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ A parallel algorithm for static program slicing ⋮ Computing ripple effect for software maintenance ⋮ The dependence condition graph: precise conditions for dependence between program points ⋮ Cut branches before looking for bugs: certifiably sound verification on relaxed slices ⋮ Non-discriminating Arguments and Their Uses ⋮ A Case Study in Abstract Interpretation Based Program Transformation ⋮ A trajectory-based strict semantics for program slicing ⋮ Slicing for modern program structures: a theory for eliminating irrelevant loops ⋮ Stratified Static Analysis Based on Variable Dependencies ⋮ On the HDL active trace – a new concept of HDL debugging ⋮ An optimal algorithm for the construction of the system dependence graph ⋮ 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 ⋮ A non-standard semantics for program slicing and dependence analysis ⋮ Verification of Software Product Lines with Delta-Oriented Slicing ⋮ The MEB and CEB Static Analysis for CSP Specifications ⋮ A Theory of Slicing for Probabilistic Control Flow Graphs ⋮ On the automatic HDL bug identification ⋮ Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis ⋮ Combining preprocessor slicing with C/C++ language slicing ⋮ Slicing programs in the presence of errors ⋮ Efficient comparison of program slices ⋮ Dynamic Slicing Techniques for Petri Nets ⋮ On the computational complexity of dynamic slicing problems for program schemas ⋮ Source-tracking unification ⋮ Interconvertibility of a class of set constraints and context-free-language reachability ⋮ The application of hypergroups in symbolic executions and finite automata ⋮ Equivalence of conservative, free, linear program schemas is decidable ⋮ A compact execution history for dynamic slicing ⋮ Enhancing Theorem Prover Interfaces with Program Slice Information ⋮ Reconstructing sequential behavior from parallel behavior projections ⋮ A formal semantics for debugging synchronous message passing-based concurrent programs ⋮ An efficient method for computing dynamic program slices ⋮ Static Slicing of Rewrite Systems ⋮ A lazy query scheme for reachability analysis in Petri nets ⋮ A backward slicing algorithm for Prolog ⋮ Combining slicing and constraint solving for validation of measurement software
This page was built for publication: Program Slicing
