"Overview of existing safeguarding techniques for automatically generated code."

Ingo Stürmer, Daniela Weinberg, Mirko Conrad (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics