[8] Maurer P M. The Design and Implementation of a Grammar-based Data Generator.[J]. Software Practice & Experience, 1992, 22(3):223-244.
[9] Pretschner A, Philipps J. 10 Methodological Issues in Model-Based Testing[J]. Lecture Notes in Computer Science, 2005, 3472:11-18.
[10] Lamsweerde A V. Formal specification: a roadmap.[J]. Future of Software Engineering A Finkelstein Acm, 2000:147-159. [11]xianglims.
百
度
百
科
Spec
Explorer.
[EB/OL].[2016-01-18].
http://baike.http://www.wodefanwen.com//link?url=wGJJPEPVVYUNI5dn69s9uJKp1p4iw7FyNtj0TlMZ8eaRDxdt-uWt_tnTIbzJ_IJoS-sKhaMiBqlcgg1BUfa84_.
[12]朱永光. 用Spec Explorer进行基于模型的测试. [EB/OL].[2016-01-18]. http://www.infoq.com/cn/news/2009/11/spec-explorer-2010
[13]Xiang Li. Spec Explorer连接测试用例与待测系统. [EB/OL].[2016-01-18]. http://blogs.msdn.com/b/sechina/archive/2009/12/22/9940058.aspx.
[14]Xiang Li. Spec Explorer静态模型和实例模型. [EB/OL].[2016-01-18]. http://blogs.msdn.com/b/sechina/archive/2009/12/22/9940059.aspx
[15] 吴艳, 张惠. 基于模型的软件测试方法研究[J]. 计算机系统应用, 2008, 17(8):87-89.
14