The following pages link to Program Slicing (Q3345745):
Displaying 50 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- A formal semantics for program debugging (Q439714) (← links)
- Black-box testing based on colorful taint analysis (Q439720) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
- A parallel algorithm for static program slicing (Q672833) (← links)
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Efficient comparison of program slices (Q758192) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Fast computation of strong control dependencies (Q832318) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- Properties of data flow frameworks: A unified model (Q910237) (← links)
- A theory of compaction-based parallelization (Q914354) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331) (← links)
- A non-standard semantics for program slicing and dependence analysis (Q997995) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- Reconstructing sequential behavior from parallel behavior projections (Q1065542) (← links)
- Dynamic program slicing (Q1110308) (← links)
- Improved method to generate path-wise test data (Q1429440) (← links)
- Interconvertibility of a class of set constraints and context-free-language reachability (Q1583350) (← links)
- An efficient method for computing dynamic program slices (Q1603535) (← links)
- Tracking CSP computations (Q1633350) (← links)
- An alternative characterization of weak order dependence (Q1675759) (← links)
- The dependence condition graph: precise conditions for dependence between program points (Q1749251) (← links)
- Slicing programs in the presence of errors (Q1815347) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- A compact execution history for dynamic slicing (Q1853691) (← links)
- Precise interprocedural dependence analysis of parallel programs (Q1884938) (← links)
- The application of hypergroups in symbolic executions and finite automata (Q2098344) (← links)
- A lazy query scheme for reachability analysis in Petri nets (Q2117184) (← links)
- Selectively-amortized resource bounding (Q2145338) (← links)
- Combining dynamic and static slicing for analysing assembler (Q2266945) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- A formal semantics for debugging synchronous message passing-based concurrent programs (Q2348946) (← links)
- Scaling down discrete-event simulation models (Q2371661) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Source-tracking unification (Q2568436) (← links)
- Computing ripple effect for software maintenance (Q2744753) (← links)
- A Theory of Slicing for Probabilistic Control Flow Graphs (Q2811339) (← links)
- Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis (Q2813985) (← links)
- Enhancing Theorem Prover Interfaces with Program Slice Information (Q2867933) (← links)
- Static Slicing of Rewrite Systems (Q2873792) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- On the automatic HDL bug identification (Q3379151) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
