1. A method for identifying remediation failures in a computer program comprising a sequence of instructions that has been remediated for year-2000 (Y2K) instruction failures in accordance with a predetermined remediation model, comprising the steps of: generating a trace file of the program containing a trace record of each execution instance of selected instructions susceptible to remediation failure; and comparing said trace records with failure patterns characteristic of known types of remediation failures to generate an output listing of potential remediation failures.