维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

17篇 您的检索式：作者名="CADAR C"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	EXE: automatically gen- erating inputs of death 显示文摘	Cadar C Ganesh V Pawlowski P M	2008	ACM Transactions on Information and Systems Security2008，12，2：	1
	2	Symbolic execution for software testing: three decades later显示文摘	CADAR C SEN K	2013	Communications of the ACM2013，56，2：	1
	3	EXE: automatically generating inputs of death 显示文摘	Cadar C Genesh V Pawlowski P M	2008	ACM Transactions on Information and System Security2008，12，2：	1
	4	EXE: Automatically generating inputs of death显示文摘	Cadar C Ganesh V Pawlowski P	2008	ACM Transaction on Information and System Security2008，12，：	1
	5	EXE: Automatically generating inputs of death 显示文摘	Cadar C Ganesh V Pawlowski P M et aI	2008	ACM Trans on Information and System Security2008，12，2：	1
	6	EXE: Automatically generating inputs of death 显示文摘	Cadar C Ganesh V Puwlowski P	2008	ACM Transactions on Information and System Security2008，12，：	1
	7	EXE : automatically generating inputs of death 显示文摘	CADAR C GANESH V PAWLOWSKI P	2008	TISSI:C2008，12，2：	1
	8	EXE:Automatically generating inputs of death显示文摘	Cadar C Ganesh V Pawlowski P M	2008	ACM Transactions on Information and System Security2008，12，2：	1
	9	EXE: Automati- cally generating inputs of death 显示文摘	Cadar C Grnesh V Pawlowski P M	2008	ACM Transactions on In- formation and System Security2008，12，2：	1
	10	Symbolic execution for software testing: Three decades later显示文摘	Cadar C Sen K	2013	Communications of the ACM2013，56，2：	1
	11	EXE: Automatically generating inputs of death显示文摘	Cadar C Dunbar D	2008	ACM Transactions on Information and System Security2008，12，2：	1
	12	EXE:Automatically Generating Inputs of Death显示文摘	Cadar C Ganesh V Pawlowski P M	2008	ACM Transactions on Information and System Security2008，12，2：	1
	13	Symbolic execution for software testing: Three decades later 显示文摘	Cadar C Sen K	2013	Communications of the ACM2013，56，2：	1
	14	Symbolic execution for software testing: Three decades later显示文摘	Cadar C Sen K	2013	Communications of the ACM2013，56，2：	1
	15	EXE: automatically generating inputs of death显示文摘	CADAR C GANESH V PAWLOWSKI P M	2008	ACM Trans on Inf System Secur2008，22，：	1
	16	EXE: Automati- cally generating inputs of death 显示文摘	Cadar C Ganesh V PawlowskiP M	2008	ACM Transactions on In- formation and System Security2008，12，2：	1
	17	Symbolic execution for software testing: Three decades later 显示文摘	Cadar C Sen K	2013	Communications of the ACM2013，56，2：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费