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

by N Dor, S Adams, M Das, Z Yang
Venue:In Proc. of ACM SIGSOFT international symposium on Software testing and analysis