publication venue for Test Cases Reduction and Selection Optimization in Testing Web Services. 4:1-8. 2012