Converting test requirements into test program sets | IEEE Conference Publication | IEEE Xplore