JavaScript; Test generation; Symbolic execution; Stub generation;
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:ATGen:使用约束逻辑编程和符号执行自动生成测试数据
机译:从单元测试角度量化可能影响符号执行的Java程序特征的实证研究
机译:通过符号执行,自动单元测试和JavaScript程序执行
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:编辑者的选择:在TRUST试验中对于计划的ICD随访自动远程监控与亲自评估相比具有优势-测试建议的执行情况
机译:通过程序生成和差分测试自动测试符号执行引擎
机译:使用符号执行和不变生成验证Java程序