NASA Logo, National Aeronautics and Space Administration

Reviewed Publications:

  • H. Botha, O. Tkachuk, B. van der Merwe, W. Visser,
    Addressing Challenges In Obtaining High Coverage When Model Checking Android Applications,
    International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, Jul 2017 (to appear).
  • H. Botha, B. van der Merwe, W. Visser, O. Tkachuk,
    StateComparator: Detecting Unbounded Variables Using JPF,
    JPF Workshop, Seattle, WA, USA, Nov 2016.
  • P. Mehlitz, N. Shafiei, O. Tkachuk, and M. Davies,
    RACE: building airspace simulations faster and better with actors,
    Digital Avionics Systems Conference (DASC), Sacramento, CA, USA, Sep 2016.
  • H. van der Merwe, O. Tkachuk, S. Nel, B. van der Merwe, W. Visser,
    Environment Modeling Using Runtime Values for JPF-Android,
    JPF Workshop, Lincoln, NE, USA, Nov 2015.
  • A. Murugesan, M. W. Whalen, N. Rungta, O. Tkachuk, S. Person, M. Heimdahl, D. You,
    Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites ,
    NFM, Pasadena, CA, USA, April 2015.
  • H. van der Merwe, O. Tkachuk, B. van der Merwe and W. Visser,
    Generation of Library Models for Verification of Android Applications,
    JPF Workshop, Salt Lake City, UT, USA, Nov 2014.
  • R. Kersten, S. Person, N. Rungta and O. Tkachuk,
    Improving Coverage of Test-Cases Generated by Symbolic Pathfinder for Programs with Loops,
    JPF Workshop, Salt Lake City, UT, USA, Nov 2014.
  • N. Rungta, O. Tkachuk, S. Person, J. Biatek, M. W. Whalen, J. Castle, K. Gundy-Burlet,
    Helping system engineers bridge the peaks,
    Twin Peaks Workshop, Hyderabad, India, June 2014
  • M. Ceccarello, O. Tkachuk,
    Automated Generation of Model Classes for Java PathFinder,
    JPF Workshop, Palo Alto, CA, USA, Nov 2013.
  • J. Backes, S. Person, N. Rungta, O. Tkachuk,
    Regression Verification Using Impact Summaries,
    International SPIN Symposium on Model Checking of Software, Stony Brook, NY, USA, July 2013.
  • O. Tkachuk,
    OCSEGen: Open Components and Systems Environment Generator,
    International Workshop on the State of the Art in Java Program Analysis (SOAP), Seattle, USA, June 2013.
  • Quoc-Sang Phan, P. Malacaria, O. Tkachuk, C. Pasareanu,
    Symbolic Quantitative Information Flow,
    JPF Workshop, Cary, NC, USA, Nov 2012.
  • W. Luks, O. Tkachuk, and D. Bushnell,
    Automatic Extraction of JPF Options and Documentation,
    JPF Workshop, Lawrence, KS, USA, Nov 2011.
  • P. Mehlitz, O. Tkachuk, and M. Ujma,
    JPF-AWT: Model Checking GUI Applications,
    International Conference on Automated Software Engineering (ASE), Lawrence, KS, USA, Nov 2011.
  • O. Tkachuk, S.P. Rajan,
    Automated Driver Generation for Analysis of Web Applications,
    Fundamental Approaches to Software Engineering (FASE), Saarbrucken, Germany, April 2011.
  • O. Tkachuk, M.B. Dwyer,
    Environment Generation for Validating Event-Driven Software Using Model Checking,
    IET Software Journal, June 2010.
  • S. P. Rajan, O. Tkachuk, M. Prasad, I. Ghosh, N. Goel, T. Uehara,
    WEAVE: WEb Applications Validation Environment,
    ICSE Companion, Vancouver, Canada, May 2009.
  • O. Tkachuk, S. P. Rajan,
    Combining Environment Generation and Slicing for Modular Software Model Checking,
    International Conference on Automated Software Engineering (ASE), Atlanta, USA, Nov 2007.
  • O. Tkachuk, S. P. Rajan,
    Application of Automated Environment Generation to Commercial Software
    International Symposium on Software Testing and Analysis (ISSTA), Portland, Main, USA, July 2006.
  • M.B. Dwyer, Robby, O. Tkachuk, W. Visser,
    Analyzing Interaction Orderings with Model Checking,
    International Conference on Automated Software Engineering (ASE), Linz, Austria, Sep 2004.
  • O. Tkachuk, M.B. Dwyer, C. Pasareanu,
    Automated Environment Generation for Software Model Checking,
    International Conference on Automated Software Engineering (ASE), Montreal, Canada, Oct 2003.
  • O. Tkachuk, M.B. Dwyer,
    Adapting Side-Effects Analysis for Modular Model Checking,
    Symposium on the Foundations of Software Engineering (FSE), Helsinki, Finland, Sep 2003.
  • O. Tkachuk, G. Brat, W. Visser,
    Using Code Level Model Checking to Discover Automation Surprises
    Digital Avionics Systems Conference (DASC), Irvine, CA, Oct 2002.
First Gov logo
NASA Logo - nasa.gov