Testing; Engines; Tools; Computer bugs; Concrete; Program processors; Instruments;
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:借助符号执行,概要测试和基于搜索的测试自动执行弱突变
机译:通过程序生成和差异测试自动测试符号执行引擎
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:编辑者的选择:在TRUST试验中对于计划的ICD随访自动远程监控与亲自评估相比具有优势-测试建议的执行情况
机译:通过程序生成和差分测试自动测试符号执行引擎