Translating Object-Z specifications to object-oriented test oracles | IEEE Conference Publication | IEEE Xplore