| |
| 2007 | ||
|---|---|---|
| 5 | EE | Oksana Tkachuk, Sreeranga P. Rajan: Combining environment generation and slicing for modular software model checking. ASE 2007: 401-404 |
| 2006 | ||
| 4 | EE | Oksana Tkachuk, Sreeranga P. Rajan: Application of automated environment generation to commercial software. ISSTA 2006: 203-214 |
| 2004 | ||
| 3 | EE | Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 |
| 2003 | ||
| 2 | EE | Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129 |
| 1 | EE | Oksana Tkachuk, Matthew B. Dwyer: Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE 2003: 188-197 |
| 1 | Matthew B. Dwyer | [1] [2] [3] |
| 2 | Corina S. Pasareanu | [2] |
| 3 | Sreeranga P. Rajan | [4] [5] |
| 4 | Robby | [3] |
| 5 | Willem Visser | [3] |