Software validation via scalable pathsensitive value flow analysis," presented at 2004 (2004)

by N Dor, S Adams, M Das, Z Yang
Venue:ACM SIGSOFT international Symposium on Software Testing and Analysis