Adnan Ashraf, Aamer Nadeem. Automating the Generation of Test Cases from Object-Z Specifications. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 101-104, IEEE Computer Society, 2006. [doi]
Abstract is missing.