NASA Logo, National Aeronautics and Space Administration

Reviewed Publications:

  • M. Ceccarello, O. Tkachuk,
    Automated Generation of Model Classes for Java PathFinder,
    In JPF Workshop, Palo Alto, CA, USA, Nov 2013.
  • J. Backes, S. Person, N. Rungta, O. Tkachuk,
    Regression Verification Using Impact Summaries,
    In Proceedings of the International SPIN Symposium on Model Checking of Software, Stony Brook, NY, USA, July 2013.
  • O. Tkachuk,
    OCSEGen: Open Components and Systems Environment Generator,
    In 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,
    In JPF Workshop, Cary, North Carolina, USA, Nov 2012.
  • W. Luks, O. Tkachuk, and D. Bushnell,
    Automatic Extraction of JPF Options and Documentation,
    In JPF Workshop, Lawrence, Kansas, USA, November 2011.
  • P. Mehlitz, O. Tkachuk, and M. Ujma,
    JPF-AWT: Model Checking GUI Applications,
    In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, Kansas, USA, November 2011.
  • O. Tkachuk, S.P. Rajan,
    Automated Driver Generation for Analysis of Web Applications,
    In Proceedings of 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,
    In IET Software Journal, June 2010.
  • S. P. Rajan, O. Tkachuk, M. Prasad, I. Ghosh, N. Goel, T. Uehara,
    WEAVE: WEb Applications Validation Environment,
    In ICSE Companion, Vancouver, Canada, May 2009.
  • O. Tkachuk, S. P. Rajan,
    Combining Environment Generation and Slicing for Modular Software Model Checking,
    In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, USA, November 2007.
  • O. Tkachuk, S. P. Rajan,
    Application of Automated Environment Generation to Commercial Software
    In Proceedings of the 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,
    In Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE), Linz, Austria, September 2004.
  • O. Tkachuk, M.B. Dwyer, C. Pasareanu,
    Automated Environment Generation for Software Model Checking,
    In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, October 2003.
  • O. Tkachuk, M.B. Dwyer,
    Adapting Side-Effects Analysis for Modular Model Checking,
    In Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Helsinki, Finland, September 2003.
  • O. Tkachuk, G. Brat, W. Visser,
    Using Code Level Model Checking to Discover Automation Surprises
    In Proceedings of the 21st Digital Avionics Systems Conference (DASC), Irvine, California, October 2002.
First Gov logo
NASA Logo - nasa.gov