McDonaldSH03'

BibTeX

@inproceedings{DBLP:conf/apsec/McDonaldSH03,
  author    = {Jason McDonald and
               Paul A. Strooper and
               Daniel Hoffman},
  title     = {Tool Support for Generating Passive C++ Test Oracles from
               Object-Z Specifications},
  booktitle = {APSEC},
  year      = {2003},
  pages     = {322-331},
  ee        = {http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110322abs.htm},
  crossref  = {DBLP:conf/apsec/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/2003,
  title     = {10th Asia-Pacific Software Engineering Conference (APSEC
               2003), 10-12 December 2003, Chiang Mai, Thailand},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-2011-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}