Modular Demand-Driven Analysis of Semantic Difference for Program Versions.

Anna Trostanetski, Orna Grumberg, Daniel Kroening

Browse the full SAS paper archive.