中文
Formal Testing Model Generation Based on Scenario
HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2
Journal of Shanghai University（Natural Science Edition） . 2011, (5): 595 -599 .  DOI: 10.3969/j.issn.1007-2861.2011.05.004