Transition Path Generation Method Based on State Diagram Test
ZHANG Yiwei, BEN Kerong
Journal of Frontiers of Computer Science and Technology . 2019, (6): 961 -972 .  DOI: 10.3778/j.issn.1673-9418.1807035