constraint solving techniques for software testing and analysis

	constraint solving techniques for software testing and analysis
	Ma Feifei
	2010
会议名称	32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
会议录名称	Proceedings - International Conference on Software Engineering
页码	417-420
会议日期	May 1, 201
会议地点	Cape Town, South africa
收录类别	EI
出版地	United States
ISSN	2705257
ISBN	9781610000000
部门归属	(1) Institute of Software, Chinese Academy of Sciences, Graduate University, P.O. Box 8718, Beijing 100190, China
摘要	Software testing and analysis are very important research topics in software engineering. We are interested in improving the accuracy of analysis, as well as automation of test generation. In particular, we have been working on the automatic generation of small Orthogonal Arrays which can be used for combinatorial testing, and the computation of path execution frequency for a program path. The basic idea is to reduce the original problems to constraint satisfaction problems and develop effective constraint solving techniques for solving the problems. © 2010 ACM.
关键词	Automatic Programming Computer Software Selection And Evaluation Software Engineering Software Testing
主办者	Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8704
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Ma Feifei. constraint solving techniques for software testing and analysis[C]. United States,2010:417-420.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
p417-ma.pdf（116KB）			开放获取	--	请求全文