Test case set reduction method based on gre and ant colony algorithm | IEEE Conference Publication | IEEE Xplore