NASA Logo, National Aeronautics and Space Administration

Oksana Tkachuk, Ph.D.

I am a computer scientist in the Robust Software Engineering group at the NASA Ames Research Center. I am interested in developing automated support for environment and test harness generation, needed to enable or scale software analysis techniques such as testing, static analysis, model checking, and symbolic execution.


ASE 2016, FSE 2016, JPF workshop 2016


OCSEGen: Open Components and Systems Environment Generator

  • Modular code analysis and test harness generation
  • OCSEGen paper
JPF: Java PathFinder
  • Java analysis techniques, including model checking and symbolic execution
  • JPF web site
RACE: Runtime for Airspace Concept Evaluation
  • Framework for building actor-based distributed systems
  • RACE web site

profile pic


NASA Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035

Office: Bldg. 269, Rm. 235 Phone: (650) 604-1837

Email: oksana.tkachuk "at"

First Gov logo
NASA Logo -