Test suite design for code generation tools | IEEE Conference Publication | IEEE Xplore