中文
Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria
MIAO Huai-kou;FEI Li-zhi
Journal of Shanghai University（Natural Science Edition） . 2007, (5): 489 -496 .