Reducing test program costs through ATML-based requirements conversion and code generation | IEEE Conference Publication | IEEE Xplore