Oksana Tkachuk

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