1. A non-transitory, computer-readable storage medium with an executable program stored thereon, where the program instructs a processor to: receive a model having executable semantics; generate code from the model; introduce one or more errors into the code generated from the model, where the one or more errors introduced into the generated code are not present in the model; and analyze the generated code that includes the one or more introduced errors.