constraint solving and symbolic execution

	constraint solving and symbolic execution
	Zhang Jian
	2008
会议名称	1st Working Conference on Verified Software - Theories, Tools and Experiments (VSTTE 2005)
页码	539-544
会议日期	OCT 10-13,
会议地点	Zurich, SWITZERLAND
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS
ISSN	0302-9743
ISBN	978-3-540-69147-1
部门归属	Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing 100080, Peoples R China.
主办者	IFIP TC 2, WG 2 3
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10576
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhang Jian. constraint solving and symbolic execution[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS,2008:539-544.