Jason McDonald Leesa Murray Paul A. Strooper Translating Object-Z Specifications to Object-Oriented Test Oracles. 414- 1997 conf/apsec/1997 APSEC http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710414abs.htm db/conf/apsec/apsec1997.html#McDonaldMS97