diagrams; formal specification; formal verification; program testing; software fault tolerance; activity diagrams; choice relation framework; choice relation table; software faults; systematic skeleton; test case construction; Activity diagrams; category-partition m;
机译:METRIC:基于类别选择框架的亚变形关系识别
机译:测试人员经验的贡献和清单清单指南,用于识别软件测试的类别和选择
机译:关于基于规范的测试用例生成的类别和选择的识别
机译:识别活动图中的类别和选择
机译:将Grothendieck拓扑扩展到图方案中的图类别和Serre函子。
机译:与选择相关的活动波动是学习神经元类别表征的基础
机译:识别活动图中的类别和选择