Patrice Godefroid
E900202
Patrice Godefroid is a computer scientist known for his pioneering work in software model checking, automated testing, and program analysis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Patrice Godefroid canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
researcher ⓘ |
| citizenship | Belgium NERFINISHED ⓘ |
| educatedAt | Université de Liège NERFINISHED ⓘ |
| fieldOfWork |
automated software testing
ⓘ
concolic testing ⓘ formal methods ⓘ model checking ⓘ program analysis ⓘ software model checking ⓘ software verification ⓘ symbolic execution ⓘ |
| hasAcademicDegree | PhD in computer science ⓘ |
| hasEmployer | Microsoft Research NERFINISHED ⓘ |
| hasGender | male ⓘ |
| hasPublicationType |
book chapters
ⓘ
conference papers ⓘ journal articles ⓘ |
| influenced |
research on automated test generation
ⓘ
research on dynamic symbolic execution ⓘ research on model checking of software ⓘ |
| knownFor |
dynamic symbolic execution
ⓘ
partial-order reduction in model checking ⓘ pioneering work in automated testing ⓘ pioneering work in program analysis ⓘ pioneering work in software model checking ⓘ systematic software testing techniques ⓘ |
| languageSpoken |
English
ⓘ
French ⓘ |
| memberOf | research staff at Microsoft Research ⓘ |
| nationality | Belgian NERFINISHED ⓘ |
| notableWork |
work on concolic testing for software
ⓘ
work on dynamic test generation ⓘ work on model checking of concurrent programs ⓘ |
| occupation |
computer science researcher
ⓘ
software researcher ⓘ |
| researchInterest |
automated program verification
ⓘ
bug finding in large software systems ⓘ search-based software testing ⓘ software reliability ⓘ |
| specialization |
systematic exploration of program executions
ⓘ
verification of concurrent systems ⓘ |
| workLocation |
United States of America
ⓘ
surface form:
United States
|
| worksOn |
scalable program analysis techniques
ⓘ
tools for automated software testing ⓘ tools for software model checking ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.