Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization