Software Testing; GUI testing; Coverage Criteria; Model Based Software Testing; HPrTNs;
机译:使用谓词/过渡网的基于角色的访问控制的基于模型的自动化测试
机译:将分层谓词转换网转换为CC ++程序
机译:基于层次模型的航空系统PHM可测试性建模与分析方法
机译:使用分层谓词转换网测试GUI的基于模型方法
机译:开发具有成本效益的*基于模型的GUI测试技术
机译:基于计算机模型的推理:网络生物学假设检验的当代方法
机译:使用启发式搜索谓词过渡净可达性测试