Ingo Stürmer Mirko Conrad Heiko Dörr Peter Pepper Systematic Testing of Model-Based Code Generators. 622-634 2007 33 IEEE Trans. Software Eng. 9 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70708 db/journals/tse/tse33.html#SturmerCDP07