Publications:

• Environment Generation for Validating Event-Driven Software Using Model Checking
  O. Tkachuk, M.B. Dwyer
  In IET Software Journal, June 2010.
• WEAVE: WEb Applications Validation Environment
  S.P. Rajan, O. Tkachuk, M. Prasad, I. Ghosh, N. Goel, T. Uehara
  In the Proceedings of ICSE (Vol 2, SE in Practice), May 2009.
• Combining Environment Generation and Slicing for Modular Software Model Checking
  O. Tkachuk and S.P. Rajan
  In the Proceedings of ASE, Nov 2007
• Application of Automated Environment Generation to Commercial Software
  O. Tkachuk and S.P. Rajan
  In the Proceedings of ISSTA, July 2006 pdf
• Analyzing Interaction Orderings with Model Checking
  M. B. Dwyer, Robby, O. Tkachuk, W. Visser.
  In the Proceedings of ASE, July 2004. pdf
• Automated Environment Generation for Software Model Checking
  O. Tkachuk, M.B. Dwyer, C. Pasareanu.
  In the Proceedings of ASE, May 2003. ps
• Adapting Side-Effects Analysis for Modular Program Model Checking
  O. Tkachuk, M.B. Dwyer.
  In the Proceedings of ESEC/FSE, March 2003. ps
• Using Code Level Model Checking to Discover Automation Surprises
  O. Tkachuk, G. Brat, and W. Visser.
  In the Proceedings of Digital Avionics Systems Conference (DASC), October 2002.

Thesis work:

• PhD Thesis: Domain-Specific Environment Generation for Modular Software Model Checking
  Kansas State University, 2008 pdf
• MS Thesis: Adapting Side-Effects Analysis for Modular Program Model Checking
  Kansas State University, 2003 ps