Oksana Tkachuk, Ph.D.
I am a research engineer at the Robust Software Engineering group at the NASA Ames Research Center.
I got my PhD in Computer Science at Kansas State University.
I am interested in developing automated support for modular software analysis, including environment and test case generation.
JPF Workshop 2012,
- Quoc-Sang Phan, P. Malacaria, O. Tkachuk, C. Pasareanu,
Symbolic Quantitative Information Flow,
In JPF Workshop, Nov 2012.
- W. Luks, O. Tkachuk, and D. Bushnell,
Automatic Extraction of JPF Options and Documentation,
In JPF Workshop, Nov 2011.
- P. Mehlitz, O. Tkachuk, and M. Ujma,
JPF-AWT: Model Checking GUI Applications,
In ASE, Nov 2011.
- O. Tkachuk, S.P. Rajan,
Automated Driver Generation for Analysis of Web Applications,
In FASE, March 2011.
- O. Tkachuk, M.B. Dwyer,
Environment Generation for Validating Event-Driven Software Using Model Checking,
In IET Software Journal, June 2010.
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