Implementing test case selection and reduction techniques using meta-heuristics | IEEE Conference Publication | IEEE Xplore