path-oriented test data generation using symbolic execution and     constraint solving techniques

ISCAS OpenIR

	path-oriented test data generation using symbolic execution and constraint solving techniques
	Zhang J; Xu C; Wang XL
	2004
会议名称	2nd International Conference on Software Engineering and Formal Methods
页码	242-250
会议日期	SEP 28-30,
会议地点	Beijing, PEOPLES R CHINA
收录类别	istp ; ieee
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
ISBN	0-7695-2222-X
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	Automatic test data generation is a challenging task in software engineering research. This paper studies a path-oriented approach to the problem, which is based on the combination of symbolic execution and constraint solving. Methods for repr
关键词	Automatic Test Data Generation Breadth-first Search Constraint Solving Depth-first Search Extended Finite State Machine Input Program Input Test Data Input Variables Path-oriented Test Data Generation Program Bug Software Engineering Symbolic e
主办者	IEEE Comp Soc, Tech Comm Complex Comp, UNU IIST, Peking Univ, Chinese Acad Sci, Acad Div
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12972
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang J,Xu C,Wang XL. path-oriented test data generation using symbolic execution and constraint solving techniques[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS,2004:242-250.

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