symbolic execution of program paths involving pointer and structure     variables

ISCAS OpenIR

	symbolic execution of program paths involving pointer and structure variables
	Zhang J
	2004
会议名称	4th International Conference on Quality Software
页码	87-92
会议日期	SEP 08-09,
会议地点	Braunschweig, GERMANY
收录类别	istp ; ieee
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE
ISBN	0-7695-2207-6
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	Many white-box testing methods are based on the analysis of program paths. For these methods, an important problem is to determine the feasibility of a given path, and find appropriate input data to execute the path if it is feasible. In this
关键词	Array Variables Constraint Solving Technique Path Translation Pointer Structure Variables Program Path Analysis Symbolic Program Path Execution Translation Tool White-box Testing Constraint Handling Data Flow Analysis Program Interpreters Progr
主办者	Tech Univ Braunschweig, Inst Informat Syst, Univ Hong Kong, Software Engn Grp, Swinburne Univ Technol, Ctr Software Engn
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12944
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang J. symbolic execution of program paths involving pointer and structure variables[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE,2004:87-92.

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