Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(62)
Pierre Wolper
8
Lalita Jategaonkar Jagadeesan
7
Bernard Boigelot
7
Michael Y. Levin
7
Glenn Bruns
6
Conferences
(24)
CAV
11
LICS
5
ISSTA
4
POPL
3
TACAS
3
Journals
(10)
SIGPLAN
6
FMSD
6
ACM Sigsoft Software Engineering Notes
3
TSE
2
TOPLAS
2
Keywords
(167)
Embed
Subscribe
Academic
Authors
Patrice Godefroid
Edit
Patrice Godefroid
Microsoft
Publications: 106
|
Citations: 4650
|
G-Index: 67
|
H-Index: 37
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
62 co-authors
from 1990 to 2011
; Cited by
2974 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(106)
BibTeX
|
RIS
|
RefWorks
Download
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar
,
Patrice Godefroid
,
Sarfraz Khurshid
,
Corina S. Pasareanu
,
Koushik Sen
,
Nikolai Tillmann
,
Willem Visser
Conference:
International Conference on Software Engineering - ICSE
, pp. 1066-1071, 2011
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation
Patrice Godefroid
,
Shuvendu K. Lahiri
,
Cindy Rubio-Gonzalez
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, 2011
Compositional may-must program analysis: unleashing the power of alternation
(
Citations: 16
)
Patrice Godefroid
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Saideep Tetali
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 43-56, 2010
Proving memory safety of floating-point computations by combining static and dynamic program analysis
(
Citations: 2
)
Patrice Godefroid
,
Johannes Kinder
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 1-12, 2010
Compositional may-must program analysis: unleashing the power of alternation
Patrice Godefroid
,
Aditya V. Nori
,
Sriram K. Rajamani
,
Sai Deep Tetali
Journal:
Sigplan Notices - SIGPLAN
, vol. 45, no. 1, pp. 43-56, 2010
Order by:
Citations
(4650 times by 2789 publications)
An Analysis and Survey of the Development of Mutation Testing
(
Citations: 35
)
Yue Jia
,
Mark Harman
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 5, pp. 649-678, 2011
A practical guide for using statistical tests to assess randomized algorithms in software engineering
(
Citations: 9
)
Andrea Arcuri
,
Lionel C. Briand
Conference:
International Conference on Software Engineering - ICSE
, pp. 1-10, 2011
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
(
Citations: 6
)
T. Y. Chen
,
T. H. Tse
,
Zhi Quan Zhou
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, 2011
S2E: a platform for in-vivo multi-path analysis of software systems
(
Citations: 5
)
Vitaly Chipounov
,
Volodymyr Kuznetsov
,
George Candea
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 265-278, 2011
Precise identification of problems for structural test generation
(
Citations: 3
)
Xusheng Xiao
,
Tao Xie
,
Nikolai Tillmann
,
Jonathan de Halleux
Conference:
International Conference on Software Engineering - ICSE
, pp. 611-620, 2011
Comments