Personal Information:
Associate professor Supervisor of Doctorate Candidates graduate teacher
Paper Publications
- [1]A Test Case Generation Approach Based on Sequence Diagram and Automata Models.CHINESE JOURNAL OF ELECTRONICS.2016,25(2):234-240
- [2]Modeling, verification and test of interactive behaviors in distributed software systems.Jisuanji Yanjiu yu Fazhan/Computer Research and Development.2015,52(7):1604-1619
| |