NASA Logo, National Aeronautics and Space Administration

Reviewed Publications:

  • 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