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.

Events:

NFM 2013, JPF Workshop 2012, NFM 2012

Recent publications:

• 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.