| |
| 2008 | ||
|---|---|---|
| 3 | EE | Matthew B. Dwyer, Rahul Purandare: Residual Checking of Safety Properties. SPIN 2008: 1-2 |
| 2007 | ||
| 2 | EE | Matthew B. Dwyer, Rahul Purandare: Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. ASE 2007: 124-133 |
| 1 | EE | Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12 |
| 1 | Matthew B. Dwyer | [1] [2] [3] |
| 2 | Sebastian G. Elbaum | [1] |
| 3 | Suzette Person | [1] |