 | 2009 |
|---|
| 6 |       | Sreeranga P. Rajan,
Oksana Tkachuk,
Mukul R. Prasad,
Indradeep Ghosh,
Nitin Goel,
Tadahiro Uehara:
WEAVE: WEb Applications Validation Environment.
ICSE Companion 2009: 101-111 |
| 2007 |
|---|
| 5 | | Oksana Tkachuk,
Sreeranga P. Rajan:
Combining environment generation and slicing for modular software model checking.
ASE 2007: 401-404 |
| 2006 |
|---|
| 4 | | Oksana Tkachuk,
Sreeranga P. Rajan:
Application of automated environment generation to commercial software.
ISSTA 2006: 203-214 |
| 2004 |
|---|
| 3 | | Matthew B. Dwyer,
Robby,
Oksana Tkachuk,
Willem Visser:
Analyzing Interaction Orderings with Model Checking.
ASE 2004: 154-163 |
| 2003 |
|---|
| 2 | | Oksana Tkachuk,
Matthew B. Dwyer,
Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking.
ASE 2003: 116-129 |
| 1 | | Oksana Tkachuk,
Matthew B. Dwyer:
Adapting side effects analysis for modular program model checking.
ESEC / SIGSOFT FSE 2003: 188-197 |
