Dept. of Comput. Sci., Univ. of Leipzig, Leipzig, Germany;
Activity Diagram; Model Based Testing; Test Case Generation;
机译:使用UML活动图进行基于模型的测试:系统的映射研究
机译:基于模型的测试使用UML活动图:系统映射研究
机译:一种基于转换的方法,用于使用UML活动图测试并发程序
机译:从UML活动图生成验收测试的测试计划
机译:基于UML状态图的面向对象程序的测试用例生成研究。
机译:计划中的NLM / AHCPR大规模词汇测试:使用UMLS技术确定受控词汇涵盖医疗保健和公共卫生所需术语的程度。
机译:基于灰盒法的UmL活动图生成测试用例