Systematic Testing of Model-Based Code Generators | IEEE Journals & Magazine | IEEE Xplore