University of California Santa Barbara.;
机译:从单元测试角度量化可能影响符号执行的Java程序特征的实证研究
机译:来自任意程序上下文的多线程程序的符号执行
机译:通过动态符号执行,IEC 61131-3 ST程序自动测试生成
机译:从测试数据生成的角度量化可能影响符号执行的Java程序的特征
机译:适配器合成:使用可扩展符号执行合成和修复程序
机译:粪便学计划实施的保真性瞄准青少年青年:识别成功的课程和程序特征
机译:将动态符号执行引导至未经验证的程序执行