Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
复制标题
利用测试用例生成来检查正式规范的完整性和可行性
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
S.Liu
中科院分区：
文献类型：
--
作者：
Fumiko Nagoya;Yuting Chen;Shaoying Liu;S.Liu
登录
查看更多内容
DOI：
10.1016/j.jss.2007.05.036
发表时间：
2008-02
期刊：
J. Syst. Softw.
影响因子：
--
作者：
Shaoying Liu;Yuting Chen
通讯作者：
Shaoying Liu;Yuting Chen
Grigoris Antoniou 和 Frank Van Harmelen，《语义网入门》评论，麻省理工学院出版社，马萨诸塞州剑桥，英国伦敦 (2004)
影响因子：
3.5
作者：
J. Liao;Xiaomin Zhu
通讯作者：
Xiaomin Zhu
使用测试图的基于模型的规范动画
DOI：
10.1007/3-540-36103-0_21
发表时间：
2002
期刊：
2008 The Eighth International Conference on Quality Software
影响因子：
--
作者：
Tim Miller;P. Strooper
通讯作者：
P. Strooper
形式化方法在计算机系统建模、设计和分析方面的工业应用：一项国际调查
DOI：
10.1016/c2009-0-20452-1
发表时间：
1995
期刊：
2008 The Eighth International Conference on Quality Software
影响因子：
--
作者：
D. Craigen;S. Gerhart;T. Ralston
通讯作者：
T. Ralston
DOI：
10.1145/127099.127101
发表时间：
1991
期刊：
SOEN
影响因子：
--
作者：
John C. Knight;E. Myers
通讯作者：
E. Myers