Patrice Godefroid

Registered user since Fri 12 Jun 2015

Name: Patrice Godefroid

Bio: My main research topic during the last 20 years has been software model checking in a broad sense. Currently, I am working mostly on automating software testing (and test generation in particular) using static and dynamic program analysis. This approach to software model checking via systematic testing combines program analysis, testing, model checking and theorem proving. It is implemented in Microsoft tools like SAGE, PEX and YOGI.

Country: United States

Affiliation: Microsoft Research

Personal website: http://research.microsoft.com/en-us/um/people/pg/

Research interests: Model Checking, Program Analysis, Testing, Verification, Security

Contributions

PLDI 2016Committee Member in Program Committee
Show activities from other conferences

PLDI 2016-profile
View general profile