Pages that link to "Item:Q1815347"
From MaRDI portal
The following pages link to Slicing programs in the presence of errors (Q1815347):
Displayed 4 items.
- Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- Theoretical foundations of dynamic program slicing (Q2503318) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)