Parallel symbolic execution for structural test generation

被引：0

作者：

Dept. of Computer Science and Eng., University of Minnesota, United States ^{[1
]}

不详 ^{[2
]}

机构：

来源：

ISSTA - Proc. Int. Symp. Softw. Test. Anal. | / 183-193期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Java programming language

引用