- Analyzing Interaction Orderings with Model Checking, July 2004.
Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser.
To Appear 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