Automating the Generation of Test Cases from Object-Z Specifications | IEEE Conference Publication | IEEE Xplore