A method and system of transforming a source code file to obtain a reduced size source code file. In one embodiment, a source code file is translated to obtain a translation error list. The source code file is transformed to obtain a reduced size source code file, which is a test case file that is equivalent...http://www.google.fr/patents/US6698011?utm_source=gb-gplus-shareBrevet US6698011 - Isolation of program translation failures
