ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines. - Ying-Dar Lin; Yu-Kuen Lai; Quan Tien Bui; Yuan-Cheng Lai (J. Netw. Comput. Appl., 2020)