A test class framework for generating test cases from Z specifications | IEEE Conference Publication | IEEE Xplore