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
Conference Name	2nd International Conference on Software Engineering and Formal Methods
Pages	242-250
Conference Date	SEP 28-30,
Conference Place	Beijing, PEOPLES R CHINA
Indexed Type	istp ; ieee
Publish Place	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
Publisher	PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
ISBN	0-7695-2222-X
Department	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
English Abstract	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
Keyword	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
Sponsorship	IEEE Comp Soc, Tech Comm Complex Comp, UNU IIST, Peking Univ, Chinese Acad Sci, Acad Div
Language	英语
Content Type	会议论文
URI	http://ir.iscas.ac.cn/handle/311060/12972
Collection	中国科学院软件研究所
Recommended Citation 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.

Files in This Item:
File Name/Size	DocType	Version	Access	License
01347528.pdf（364KB）			开放获取	--	Application Full Text

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库