Jason McDonald Paul A. Strooper Daniel Hoffman Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. 322-331 2003 conf/apsec/2003 APSEC http://csdl.computer.org/comp/proceedings/apsec/2003/2011/00/20110322abs.htm db/conf/apsec/apsec2003.html#McDonaldSH03