The Research of Test Case Generation and Its Optimization Methods Based on Orthogonal Test Method and Greedy Algorithm | IEEE Conference Publication | IEEE Xplore