Improving software testing via ODC: Three case studies | Synapse