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

28篇 您的检索式：作者名="P Godefroid"

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

	题名	作者	年代	出处	被引量
1	SAGE: Whitebox fuzzing for security testing 显示文摘	Godefroid P Levin M Y Molnar D	2012	ACM Communications2012，55，3：	1
2	DART: directed automated ran- dom testing 显示文摘	Godefroid P Klarlund N Sen K	2005	ACM Sigplan Notices2005，40，6：	1
3	Sage: whitebox fuzzing for security testing显示文摘	Godefroid P Levin M Y and Molnar D	2012	Queue2012，10，1：	1
4	Grammar-based Whitebox Fuzzing显示文摘	Godefroid P Kiezun A Levin M	2008	ACM SIGPLAN Notices2008，43，6：	1
5	Proving memory safety of the ANI windows image parser using compositional exhaustive testing显示文摘	Christakis M Godefroid P	2015	Lecture Notes in Computer Science2015，8931，：	1
6	DART: directed automated random testing显示文摘	GODEFROID P KLARLUND N SEN K	2005	ACM $igplan Notices2005，40，6：	1
7	DART:directed automated random testing显示文摘	Godefroid P Klarlund N Sen K	2005	ACM Sigplan Notices2005，40，6：	1
8	Automating software testing using program analysis显示文摘	GODEFROID P de HALLEUX P ADITYA V	2008	IEEE Software2008，25，5：	1
9	DART: directed automated random testing显示文摘	GODEFROID P KLARLUND N SEN K	2005	ACM SIGPLAN Notices2005，40，6：	1
10	Automating software testing using program analysis显示文摘	GODEFROID P De HALLEUX P NORI A	2008	IEEE Software2008，25，5：	1
11	State- Space Caching Revisited 显示文摘	GODEFROID P HOLZMANN G PIROTT1N D	1995	Formal Methods in System Design1995，7，3：	1
12	LTL generalized model checking revisited 显示文摘	Godefroid P Piterman N	2011	International Journal on Software Tools for Technology Transfer2011，13，6：	1
13	Partial order methods for tem/xx, al veri- fication显示文摘	P Wolper P Godefroid	1993	Lecture Notes in Computer Science1993，715，：	1
14	Transition probability calculations for atoms using nonorthogonal orbitals显示文摘	OLSEN J GODEFROID M R J NSSON P	1995	Phys Rev E1995，52，4：	1
15	Software model checking: The VeriSoft approach显示文摘	Godefroid P	2005	Formal Methods in System Design2005，26，2：	1
16	MCHF calculation of isotope shifts and oscillator strengths for transitions between low-lying states in be-like systems and neutral magnesium显示文摘	Jonsson P Fischer C F Godefroid M R	1999	J Phys B1999，32，5：	1
17	Dynamic partial-order reduction for model checking software显示文摘	Flanagan C and Godefroid P	2005	A CM SIGPLAN Notices2005，40，1：	1
18	DART: Directed automated random testing显示文摘	Godefroid P Klarlund N Sen K	2005	ACM Sigplan Notices2005，40，：	1
19	Symmetry and reduced symmetry in model checking 显示文摘	SISTILA P A GODEFROID P	2004	ACM Trans on Programming Languages and Syste2004，26，4：	1
20	Compositional dynamic test generation 显示文摘	Godefroid P	2007	ACM SIGPLAN Notices2007，42，1：	1

返回顶部每页显示：

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

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

用户提示