Abstract: Software testing is an important means to maintain software quality. The issue that how to use the fewest test cases to verify the correctness and reliability of the software is to be ...