...
机译:高效的软件验证:使用自动搜索进行统计测试
Software/program verification; optimization.; test coverage of code; testing strategies;
机译:基于搜索的自动驾驶汽车软件鲁棒性测试
机译:一种用于软件测试中自动分支覆盖的分散搜索方法
机译:高效振荡检测使用基于搜索的测试验证机电闭环系统的验证
机译:基于SAT的高效软件分析:从自动化测试到自动化验证和修复
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:用于近距离放射治疗的自动剂量验证软件
机译:高效的软件验证:使用自动搜索进行统计测试
机译:使用ERDC自动模型校准软件校准GssHa水文模型的实用指南 - 高效的本地搜索