Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study | Synapse