Software validation via scalable path-sensitive value flow analysis.

Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang

Browse the full ISSTA paper archive.