Improving software testing via ODC: Three case studies | IBM Journals & Magazine | IEEE Xplore