Tuesday, November 14, 2006 9:05 PM
by
CSE Web
Software Validation via Scalable Path-Sensitive Value Flow Analysis.
Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang.
Appeared in ISSTA '04: International Symposium on Software Testing and Analysis, Boston, July 2004.
Portable Data Format.
