Automatic Test Generation for Model-Based Code Generators | IEEE Conference Publication | IEEE Xplore