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.

Events:

ASE 2016, FSE 2016, JPF workshop 2016

Projects:

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

Contact

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


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

Email: oksana.tkachuk "at" nasa.gov

First Gov logo
NASA Logo - nasa.gov