@inproceedings{Ostroff*2006:Automated,
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  booktitle = "Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE)",
  title = "Automated Model-Based Verification of Object-Oriented Code",
  year = "2006",
}