Efficiency Metrics and Test Case Design for Test Automation | IEEE Conference Publication | IEEE Xplore