Oksana Tkachuk, Ph.D.
I am a research engineer 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.
JPF Workshop 2014
- 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.
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" nasa.gov