Pages that link to "Item:Q5233255"
From MaRDI portal
The following pages link to Modular Demand-Driven Analysis of Semantic Difference for Program Versions (Q5233255):
Displaying 5 items.
- Reusing predicate precision in value analysis (Q2165503) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
- PEQtest: testing functional equivalence (Q6535553) (← links)
- Lockstep composition for unbalanced loops (Q6536133) (← links)
- Analysis of software patches using numerical abstract interpretation (Q6536289) (← links)