Model-based testing; Modal transition systems; Input/output conformance; Composition and decomposition in testing;
机译:统一模态接口理论和成分输入/输出一致性测试
机译:此故障会导致故障吗?在面向故障的测试用例生成中将细化与输入输出一致性检查相结合
机译:输入输出一致性模拟的逻辑特征,规则格式和组成
机译:输入/输出一致性测试中的合成性,分解和细化
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:等效输入在UniFrac重要度测试中产生不同的输出
机译:输入/输出中的组合性,分解性和细化 一致性测试 - 技术报告