Assertion-Oriented Test Data Generation and Its Application

• 面向断言的测试数据生成方法及其应用