The University of Texas at Arlington.;
Automatic test case generation; Software engineering; Software testing; Software/program reliability; Testing tool;
机译:SQL代码的关系符号执行,用于数据库程序的单元测试
机译:为针对接口和注释编码的程序生成测试用例
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:通过程序生成和差异测试自动测试符号执行引擎
机译:使用线性图论和符号计算自动生成用于车辆动力学的实时仿真代码
机译:将心脏病程序与编码数据接口
机译:通过程序生成和差分测试自动测试符号执行引擎
机译:自动生成Openmp指令及其在计算流体动力学代码中的应用