B model slicing and predicate abstraction to generate tests.评价结果

评估详情