Pages that link to "Item:Q2875081"
From MaRDI portal
The following pages link to A vocabulary of program slicing-based techniques (Q2875081):
Displaying 11 items.
- On detecting environment sensitivity using slicing (Q344794) (← links)
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Tracking CSP computations (Q1633350) (← links)
- Algorithmic debugging generalized (Q1647965) (← links)
- Program slicing of Java programs (Q2095423) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Correctly Slicing Extended Finite State Machines (Q3297841) (← links)
- (Q4738315) (← links)
- A Generalized Model for Algorithmic Debugging (Q5743598) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)