Software testing is a very important phase in the lifecycle of software; it can impact the quality of the software greatly. To a large extent, adequate testing can guarantee the success of the software. Test cases generation, which is the key of software testing, will affect the quality and efficiency of testing. Generating test cases manually will spend a lot of effort and money, and the situation will be more serious when the development time is very limited. So, it is very important to research on...