An Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application | Synapse