Automatic generation of test data for extended finite state machine models based on Tabu search algorithm
REN Jun ZHAO Rui-lian LI Zheng
Journal of Computer Applications . 2011, (09): 2440 -2443 .  DOI: 10.3724/SP.J.1087.2011.02440