Oksana Tkachuk

According to our database, Oksana Tkachuk authored at least 24 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract).

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning.

Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2018

Selected Extended Papers of NFM 2016: Preface.

César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk

J. Autom. Reason., 2018

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

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Addressing challenges in obtaining high coverage when model checking Android applications.

Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

StateComparator: Detecting Unbounded Variables Using JPF.

Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2016

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

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

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

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

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Automated generation of model classes for Java PathFinder.

Matteo Ceccarello, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2014

Helping system engineers bridge the peaks.

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

2013

Regression Verification Using Impact Summaries.

John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk

Proceedings of the Model Checking Software - 20th International Symposium, 2013

OCSEGen: open components and systems environment generator.

Oksana Tkachuk

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

2012

Symbolic quantitative information flow.

Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012

2011

JPF-AWT: Model checking GUI applications.

Peter C. Mehlitz, Oksana Tkachuk, Mateusz Ujma

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Automated Driver Generation for Analysis of Web Applications.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Environment generation for validating event-driven software using model checking.

Oksana Tkachuk, Matthew B. Dwyer

IET Softw., 2010

2009

WEAVE: WEb Applications Validation Environment.

Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara

Proceedings of the 31st International Conference on Software Engineering, 2009

2007

Combining environment generation and slicing for modular software model checking.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Application of automated environment generation to commercial software.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2004

Analyzing Interaction Orderings with Model Checking.

Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Adapting side effects analysis for modular program model checking.

Oksana Tkachuk, Matthew B. Dwyer

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Automated Environment Generation for Software Model Checking.

Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003