摘要 : We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) ... 展开
作者 | Godefroid P Klarlund N Sen K |
---|---|
作者单位 | |
期刊名称 | 《ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages》 |
总页数 | 11 |
语种/中图分类号 | 英语 / TP31 |
关键词 | software testing random testing automated test generation interfaces program verification SYMBOLIC EXECUTION |
馆藏号 | N2008EPST0000536 |