An example of a model-based testing workflow (offline test case generation). IXIT refers to implementation extra information and refers to information needed to convert an abstract test suite into an executable one. Typically, IXIT contains information on the test harness, data mappings and SUT configuration.