Patrice Godefroid

Registered user since Fri 12 Jun 2015

Name:Patrice Godefroid

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
Research interests:Model Checking, Program Analysis, Testing, Verification, Security


Show activities from other conferences

PLDI 2016-profile
View general profile