Automating the Generation of Test Cases from Object-Z Specifications.

Adnan Ashraf, Aamer Nadeem

Browse the full COMPSAC paper archive.