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.
OCSEGen: Open Components and Systems Environment Generator
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