QQ客服 官方微博 反馈留言

	Test generation for web applications using model-checking
	Li, Liping[1]; Miao, Huaikou[2]; Chen, Shengbo[3]
	2010
会议名称	11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD2010
会议日期	2010-06-09
页码	237-242
URL标识	查看原文
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/2312735
专题	上海大学
作者单位	[1]School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China |Computer and Information Institute, Shanghai Second Polytechnic University, Shanghai, 201209, China[2]School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China [3]School of Computer Engineering and Science, Shanghai University, Shanghai, 200072, China
推荐引用方式 GB/T 7714	Li, Liping[1],Miao, Huaikou[2],Chen, Shengbo[3]. Test generation for web applications using model-checking[C]. 见:11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD2010. 2010-06-09.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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