| emsoft | participants

Patrice Godefroid

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Active Property Checking

Patrice Godefroid, Michael Y. Levin, and David A. Molnar

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Software Partitioning for Effective Automated Unit Testing

Arindam Chakrabarti and Patrice Godefroid

EMSOFT 2003: 3rd International Conference on Embedded Software

Reasoning about Abstract Open Systems with Generalized Module Checking

Patrice Godefroid