Pages that link to "Item:Q1941855"
From MaRDI portal
The following pages link to Assertion-based slicing and slice graphs (Q1941855):
Displaying 6 items.
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331) (← links)
- Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas (Q997992) (← links)
- Combining preprocessor slicing with C/C++ language slicing (Q1021461) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
- Abstract Program Slicing (Q5278199) (← links)