Using a test-specification format in automatic test-program generation | IEEE Journals & Magazine | IEEE Xplore