Software validation via scalable path-sensitive value flow analysis (0)

by N Dor, S Adams, M Das, Z Yang
Venue:in ACM SIGSOFT Software Engineering Notes