| |
| * | 2008 | |
|---|---|---|
| 2 | EE | Patrice Godefroid, Michael Y. Levin, David A. Molnar: Active property checking. EMSOFT 2008: 207-216 |
| 1 | EE | Patrice Godefroid, Michael Y. Levin, David A. Molnar: Automated Whitebox Fuzz Testing. NDSS 2008 |
| 1 | Patrice Godefroid | [1] [2] |
| 2 | Michael Y. Levin | [1] [2] |