软件测试用例生成中的前置条件分析

• Precondition Analysis in Software Test Case Generation