...
机译:PBCOV:基于财产的覆盖标准
University of Michigan, Ann Arbor, MI, USA;
American University of Beirut, Beirut, Lebanon;
American University of Beirut, Beirut, Lebanon;
Swiss Federal Institute of Technology in Lausanne (EPFL), Lausanne, Switzerland;
Software testing; Coverage criteria; Property-based coverage; State space coverage; Specification-based coverage; Test suite evaluation; Reachability analysis; Logic synthesis;
机译:PBCOV:基于财产的覆盖标准
机译:声明频率覆盖:用于评估测试套件效率的代码覆盖标准
机译:基于覆盖率的治疗计划:优化IMRT PTV以符合CTV覆盖标准。
机译:基于符号执行的基于测试的形式验证的分支序列覆盖标准
机译:使用基于物业的测试,加权语法基因生成器,以及对测试浏览器渲染引擎的共识oracle并重现最小化的现有测试用例版本
机译:基于覆盖率的治疗计划:优化IMRT PTV以满足CTV覆盖标准
机译:情境覆盖 - 测试自动机器人的覆盖标准