Aspect-Oriented Software Testing; Aspects; Classes; Generation; Test Sequences; UML Statechart Criteria; Unit testing; Aspect-Oriented Software Testing; Aspects; Classes; Generation; Test Sequences; UML Statechart Criteria; Unit testing;
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:一种基于转换的方法,用于使用UML活动图测试并发程序
机译:从用例映射生成UML序列图:模型转换方法
机译:生成面向方面的程序的单元测试序列:使用UML状态图迈向正式的方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:使用UMLS概念和多重生成外科手术模型序列比对
机译:基于UML活动图的自动测试序列生成方面的方面的程序