Application of six-sigma DMAIC methodology in the evaluation of test effectiveness: A case study for EDA tools | IEEE Conference Publication | IEEE Xplore