- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu: Symbolic quantitative information flow. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012) |
| 2011 | ||
| c8 | | Oksana Tkachuk, Sreeranga P. Rajan: Automated Driver Generation for Analysis of Web Applications. FASE 2011: 326-340 |
| c7 | | Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma: JPF-AWT: Model checking GUI applications. ASE 2011: 584-587 |
| 2010 | ||
| j1 | | Oksana Tkachuk, Matthew B. Dwyer: Environment generation for validating event-driven software using model checking. IET Software 4(3): 194-209 (2010) |
| 2009 | ||
| c6 | | 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 | ||
| c5 | | Oksana Tkachuk, Sreeranga P. Rajan: Combining environment generation and slicing for modular software model checking. ASE 2007: 401-404 |
| 2006 | ||
| c4 | | Oksana Tkachuk, Sreeranga P. Rajan: Application of automated environment generation to commercial software. ISSTA 2006: 203-214 |
| 2004 | ||
| c3 | | Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 |
| 2003 | ||
| c2 | | Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129 |
| c1 | | Oksana Tkachuk, Matthew B. Dwyer: Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE 2003: 188-197 |
Colors in the list of coauthors
Last update Thu May 23 08:21:05 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page