1. A method for generating test data for an automotive lookup table comprising the steps of: dividing the automotive lookup table into categories; generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it; generating an execution trace for each assertion using a constraint solver; and generating test data for each execution trace.