To illustrate our technique, we now apply UniVal to locate a real software fault. This example is from the 62nd faulty version of Google's Closure Compiler (Closure 62) from the widely used Defects4J[1]} repository (v2.0). This fault exists in the format method, which is located between lines 66-111 in the LightweightMessageFormatter class. The faulty segment of the code is depicted in Listing  with some elements omitted for brevity, and with the lines of code renumbered.
