A Test Case Design Algorithm Based on Priority Techniques | IEEE Conference Publication | IEEE Xplore