Pages that link to "Item:Q2503318"

The following pages link to Theoretical foundations of dynamic program slicing (Q2503318):

Displaying 2 items.

• A unifying theory of control dependence and its application to arbitrary program structures (Q650921) (← links)
• Cut branches before looking for bugs: certifiably sound verification on relaxed slices (Q682366) (← links)