UML状态图测试充分性准则的公理化评估
缪淮扣;费立志
Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria
MIAO Huai-kou;FEI Li-zhi
上海大学学报(自然科学版) . 2007, (5): 489 -496 .