Fix bugs in generating pairwise test cases
Add tests for 3-strength