A Test Class Framework for Generating Test Cases from Z Specifications.

Huaikou Miao, Ling Liu

Browse the full ICECCS paper archive.