Automated Environment Generation for Software Model Checking. - Oksana Tkachuk; Matthew B. Dwyer; Corina S. Pasareanu (ASE, 2003)

Adapting side effects analysis for modular program model checking. - Oksana Tkachuk; Matthew B. Dwyer (ESEC / SIGSOFT FSE, 2003)

Analyzing Interaction Orderings with Model Checking. - Matthew B. Dwyer; Robby; Oksana Tkachuk; Willem Visser (ASE, 2004)

Application of automated environment generation to commercial software. - Oksana Tkachuk; Sreeranga P. Rajan (ISSTA, 2006)

Combining environment generation and slicing for modular software model checking. - Oksana Tkachuk; Sreeranga P. Rajan (ASE, 2007)

WEAVE: WEb Applications Validation Environment. - Sreeranga P. Rajan; Oksana Tkachuk; Mukul R. Prasad; Indradeep Ghosh; Nitin Goel; Tadahiro Uehara (ICSE Companion, 2009)

Environment generation for validating event-driven software using model checking. - Oksana Tkachuk; Matthew B. Dwyer (IET Softw., 2010)

Automated Driver Generation for Analysis of Web Applications. - Oksana Tkachuk; Sreeranga P. Rajan (FASE, 2011)

JPF-AWT: Model checking GUI applications. - Peter C. Mehlitz; Oksana Tkachuk; Mateusz Ujma (ASE, 2011)

Symbolic quantitative information flow. - Quoc-Sang Phan; Pasquale Malacaria; Oksana Tkachuk; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2012)

OCSEGen: open components and systems environment generator. - Oksana Tkachuk (SOAP@PLDI, 2013)

Regression Verification Using Impact Summaries. - John D. Backes; Suzette Person; Neha Rungta; Oksana Tkachuk (SPIN, 2013)

Helping system engineers bridge the peaks. - Neha Rungta; Oksana Tkachuk; Suzette Person; Jason Biatek; Michael W. Whalen; Joseph Castle; Karen Gundy-Burlet (TwinPeaks, 2014)

Automated generation of model classes for Java PathFinder. - Matteo Ceccarello; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2014)

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. - Anitha Murugesan; Michael W. Whalen; Neha Rungta; Oksana Tkachuk; Suzette Person; Mats Per Erik Heimdahl; Dongjiang You (NFM, 2015)

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. - Rody Kersten; Suzette Person; Neha Rungta; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2015)

Generation of Library Models for Verification of Android Applications. - Heila van der Merwe; Oksana Tkachuk; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

Environment Modeling Using Runtime Values for JPF-Android. - Heila van der Merwe; Oksana Tkachuk; Sean Nel; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

StateComparator: Detecting Unbounded Variables Using JPF. - Heila Botha; Brink van der Merwe; Willem Visser; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2016)

Addressing challenges in obtaining high coverage when model checking Android applications. - Heila Botha; Oksana Tkachuk; Brink van der Merwe; Willem Visser (SPIN, 2017)

Semantic-based Automated Reasoning for AWS Access Policies using SMT. - John Backes; Pauline Bolignano; Byron Cook; Catherine Dodge; Andrew Gacek; Kasper Søe Luckow; Neha Rungta; Oksana Tkachuk; Carsten Varming (FMCAD, 2018)

Selected Extended Papers of NFM 2016: Preface. - César A. Muñoz; Sanjai Rayadurgam; Oksana Tkachuk (J. Autom. Reason., 2018)

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. - Claudia Cauli; Meng Li; Nir Piterman; Oksana Tkachuk (CAV (1), 2021)

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). - Claudia Cauli; Meng Li; Nir Piterman; Oksana Tkachuk (Description Logics, 2021)

Cloud Resource Protection via Automated Security Property Reasoning. - Zhixing Xu; Shengjian Guo; Oksana Tkachuk; Saeed Nejati; Niloofar Razavi; George Argyros (ASE, 2024)