default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOksana Tkachuk
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c16]Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk:
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning. CAV (1) 2021: 767-780- [c15]Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk:
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract). Description Logics 2021
2010 – 2019
- 2018
- [j8]César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk:
Selected Extended Papers of NFM 2016: Preface. J. Autom. Reason. 60(1): 1-2 (2018) - [c14]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: 1-9 - 2017
- [c13]Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN 2017: 31-40 - 2016
- [j7]Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk:
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [e2]Sanjai Rayadurgam, Oksana Tkachuk:
NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Lecture Notes in Computer Science 9690, Springer 2016, ISBN 978-3-319-40647-3 [contents] - 2015
- [j6]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): 1-5 (2015) - [j5]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): 1-5 (2015) - [j4]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): 1-5 (2015) - [c12]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: 279-294 - 2014
- [j3]Matteo Ceccarello, Oksana Tkachuk:
Automated generation of model classes for Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c11]Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet:
Helping system engineers bridge the peaks. TwinPeaks 2014: 9-13 - [e1]Neha Rungta, Oksana Tkachuk:
2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM 2014, ISBN 978-1-4503-2452-6 [contents] - 2013
- [c10]Oksana Tkachuk:
OCSEGen: open components and systems environment generator. SOAP@PLDI 2013: 9-12 - [c9]John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk:
Regression Verification Using Impact Summaries. SPIN 2013: 99-116 - 2012
- [j2]Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu:
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. 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 Softw. 4(3): 194-209 (2010)
2000 – 2009
- 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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
