QQ客服 官方微博 反馈留言

	An Implementation Framework for Optimizing Test Case Generation Using Model Checking
	Chang, Longhui[1]; Miao, Huaikou[2]; Lu, Gongzheng[3]
	2015
会议名称	STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
会议日期	2015-01-01
关键词	Bound model checking Satisfiability Test case generation Trap-properties reduction
页码	3-16
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2237109
专题	上海大学
作者单位	[1]School of Computer Engineering and Science, Shanghai University, Shanghai, China |Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, China[2]School of Computer Engineering and Science, Shanghai University, Shanghai, China |Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, China[3]Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai, China
推荐引用方式 GB/T 7714	Chang, Longhui[1],Miao, Huaikou[2],Lu, Gongzheng[3]. An Implementation Framework for Optimizing Test Case Generation Using Model Checking[C]. 见:STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。