基于分支限界搜索框架的测试用例自动生成

As a basic problem and a hotspot in software testing, the automation of path-wise test case generation is of special importance, which is in essence a constraint satisfaction problem solved by search strategies. Therefore, the constraint processing efficiency of the selected search algorithm is a ke... View More