Automated generation of test programs from closed specifications of classes and test cases | IEEE Conference Publication | IEEE Xplore