Pages that link to "Item:Q2463836"
From MaRDI portal
The following pages link to A novel formal approach to program slicing (Q2463836):
Displaying 6 items.
- Black-box testing based on colorful taint analysis (Q439720) (← links)
- Efficient comparison of program slices (Q758192) (← links)
- A formal framework for incremental model slicing (Q2324183) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Static slicing of rewrite systems (Q2873792) (← links)
- (Q4738315) (← links)