Overview of existing safeguarding techniques for automatically generated code
Ingo Stürmer, Daniela Weinberg, Mirko Conrad · ACM SIGSOFT Software Engineering Notes · 2005
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance. In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development.