The following pages link to Dynamic program slicing (Q1110308):
Displaying 20 items.
- On detecting environment sensitivity using slicing (Q344794) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- A parallel algorithm for static program slicing (Q672833) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Simulation of operational semantics of machine instructions (Q763568) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- A trajectory-based strict semantics for program slicing (Q960858) (← links)
- Slicing communicating automata specifications: Polynomial algorithms for model reduction (Q1019005) (← links)
- An efficient method for computing dynamic program slices (Q1603535) (← links)
- Slicing programs in the presence of errors (Q1815347) (← links)
- A compact execution history for dynamic slicing (Q1853691) (← links)
- Combining dynamic and static slicing for analysing assembler (Q2266945) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)
