The use of a test specification format in automatic test program generation | IEEE Conference Publication | IEEE Xplore