1. A non-transitory, computer-readable storage medium with an executable program stored thereon, where the program instructs a processor to: access a model having executable semantics; generate code from the model by the processor; introduce one or more errors into the code generated from the model, where the one or more errors introduced into the code generated from the model are not present in the model, and are introduced by at least one of altering one or more in-memory intermediate representations for the model, where the one or more in-memory intermediate representations are utilized during code generation, or modifying the generated code; and analyze, by the processor, the generated code that includes the one or more introduced errors.