Oksana Tkachuk

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 10

Top Topics

Formal Verification

Extended Abstract

Carefully Selected

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Description Logics

Publications

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics (2021)
Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) (2021)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk
Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. 60 (1) (2018)
Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN (2017)
Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM (2015)
Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser
Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Generation of Library Models for Verification of Android Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Matteo Ceccarello, Oksana Tkachuk
Automated generation of model classes for Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
Helping system engineers bridge the peaks. TwinPeaks (2014)
Oksana Tkachuk
OCSEGen: open components and systems environment generator. SOAP@PLDI (2013)
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Regression Verification Using Impact Summaries. SPIN (2013)
Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma
JPF-AWT: Model checking GUI applications. ASE (2011)
Oksana Tkachuk, Sreeranga P. Rajan
Automated Driver Generation for Analysis of Web Applications. FASE (2011)
Oksana Tkachuk, Matthew B. Dwyer
Environment generation for validating event-driven software using model checking. IET Softw. 4 (3) (2010)
Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara
WEAVE: WEb Applications Validation Environment. ICSE Companion (2009)
Oksana Tkachuk, Sreeranga P. Rajan
Combining environment generation and slicing for modular software model checking. ASE (2007)
Oksana Tkachuk, Sreeranga P. Rajan
Application of automated environment generation to commercial software. ISSTA (2006)
Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
Analyzing Interaction Orderings with Model Checking. ASE (2004)
Oksana Tkachuk, Matthew B. Dwyer
Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE (2003)
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
Automated Environment Generation for Software Model Checking. ASE (2003)