Test Case Generation from Method Sequence Specification

• 基于方法序列规范的测试用例生成