Publications:

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

Thesis work:

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