Research on Axiom-based Object-Oriented Software Automatic Testing

• 基于公理系统的面向对象自动测试研究