Using OCL-Queries for Debugging C++

@inproceedings{Hobatr-Malloy:ICSE01,
  author    = {Chanika Hobatr and
               Brian A. Malloy},
  title     = {Using {OCL-Queries} for Debugging C++},
  booktitle = {ICSE},
  pages     = {839--840},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}