Program Slicing
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Combining preprocessor slicing with C/C++ language slicing
- Reconstructing sequential behavior from parallel behavior projections
- Dynamic program slicing
- Improved method to generate path-wise test data
- Interconvertibility of a class of set constraints and context-free-language reachability
- An efficient method for computing dynamic program slices
- Tracking CSP computations
- An alternative characterization of weak order dependence
- The dependence condition graph: precise conditions for dependence between program points
- Slicing programs in the presence of errors
- Equivalence of conservative, free, linear program schemas is decidable
- A compact execution history for dynamic slicing
- Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
- Static and dynamic slicing of constraint logic programs
- Experimental Evaluation of program slicing for fault localization
- Precise interprocedural dependence analysis of parallel programs
- Assertion-based slicing and slice graphs
- Program slicing of Java programs
- The application of hypergroups in symbolic executions and finite automata
- A lazy query scheme for reachability analysis in Petri nets
- Selectively-amortized resource bounding
- Combining dynamic and static slicing for analysing assembler
- Dynamic slicing of lazy functional programs based on redex trails
- A formal semantics for debugging synchronous message passing-based concurrent programs
- Scaling down discrete-event simulation models
- A formal relationship between program slicing and partial evaluation
- A novel formal approach to program slicing
- Theoretical foundations of dynamic program slicing
- A formalisation of the relationship between forms of program slicing
- Source-tracking unification
- Computing ripple effect for software maintenance
- scientific article; zbMATH DE number 1706344 (Why is no real title available?)
- A theory of slicing for probabilistic control flow graphs
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
- A generic program slicing technique based on language definitions
- On slicing of programs with input statements
- Enhancing theorem prover interfaces with program slice information
- Static slicing of rewrite systems
- A vocabulary of program slicing-based techniques
- From exponential to polynomial-time security typing via principal types
- Verification of software product lines with delta-oriented slicing
- Forward slicing of multi-paradigm declarative programs based on partial evaluation
- On the computational complexity of dynamic slicing problems for program schemas
- Correctly slicing extended finite state machines
- On the automatic HDL bug identification
- An overview of slicing techniques for object-oriented programs
- scientific article; zbMATH DE number 5506101 (Why is no real title available?)
- Dynamic slicing of aspect-oriented programs
- The MEB and CEB Static Analysis for CSP Specifications
- Static slicing of explicitly synchronized languages
- scientific article; zbMATH DE number 1061007 (Why is no real title available?)
- A formal semantics for program debugging
- Black-box testing based on colorful taint analysis
- scientific article; zbMATH DE number 2006645 (Why is no real title available?)
- Automated debugging based on a constraint model of the program and a test case
- Non-discriminating arguments and their uses
- On the HDL active trace – a new concept of HDL debugging
- scientific article; zbMATH DE number 2087514 (Why is no real title available?)
- scientific article; zbMATH DE number 1832217 (Why is no real title available?)
- scientific article; zbMATH DE number 1870530 (Why is no real title available?)
- Understanding program slices
- A Case Study in Abstract Interpretation Based Program Transformation
- Dynamic slicing: a generic analysis based on a natural semantics format
- Dynamic slicing techniques for Petri nets
- A backward slicing algorithm for Prolog
- Combining slicing and constraint solving for validation of measurement software
- Stratified static analysis based on variable dependencies
- On optimal slicing of parallel programs
- Value slice: a new slicing concept for scalable property checking
- Database slicing on relational databases
- Abstract program slicing: an abstract interpretation-based approach to program slicing
- Compiler Construction
- Iteratively defined transfinite trace semantics and program slicing with respect to them
- scientific article; zbMATH DE number 2202208 (Why is no real title available?)
- Path-Oriented Program Analysis
- A Program Slicing Based Method to Filter XML/DTD Documents
- ZB 2005: Formal Specification and Development in Z and B
- Abstract State Machines 2004. Advances in Theory and Practice
- Useless-code elimination and program slicing for the pi-calculus.
- An optimal algorithm for the construction of the system dependence graph
- The value of slicing while debugging
- On the relationship between model-based debugging and program slicing
- Maximal and Minimal Dynamic Petri Net Slicing
- Using Relational Verification for Program Slicing
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
- A unifying theory of control dependence and its application to arbitrary program structures
- Responsibility analysis by abstract interpretation
- Abstract semantic dependency
- A parallel algorithm for static program slicing
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices
- Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs
- Counterfactual explanations for MITL violations
- Efficient comparison of program slices
- Explaining safety violations in real-time systems
- Fast computation of strong control dependencies
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- Properties of data flow frameworks: A unified model
- A theory of compaction-based parallelization
- A trajectory-based strict semantics for program slicing
- Slicing for modern program structures: a theory for eliminating irrelevant loops
This page was built for publication: Program Slicing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3345745)
