Translating Object-Z Specifications to Object-Oriented Test Oracles.

Jason McDonald, Leesa Murray, Paul A. Strooper

Browse the full APSEC paper archive.