Software validation via scalable path-sensitive value flow analysis

• 期刊名称ACM SIGSOFT Software Engineering Notes
• 作者Dor, Nurit; Adams, Stephen; Das, Manuvir; Yang, Zhe
• 卷第29卷
• 期第4期
• 印刷ISSN0163-5948
• 文件大小219.49KB
• 发表时间2004-07-01
• DOI10.1145/1013886.1007515