US7373550B2 - Generation of a Computer Program to Test for Correct Operation of a Data Processing Apparatus