Automatic test generation based on hierarchical finite state machines

• 基于分层有限状态自动机的一致性测试生成