Automata theory and model testing Scholarship - Zhengzhou University | Studyatchina