ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines
Authors:
- Ying-Dar LinYLYing-Dar Lin
- Yu-Kuen LaiYLYu-Kuen Lai
- Quan Tien BuiQBQuan Tien Bui
- Yuan-Cheng LaiYLYuan-Cheng Lai
- 1 December 2020
- journal article
- research article
- Published by Elsevier in Journal of Network and Computer Applications
- Vol. 171
Abstract
No abstract availableKeywords
Funding Information
- Ministry of Science and Technology, Taiwan
This publication has 18 references indexed in Scilit:
- Inferring extended finite state machine models from software executionsEmpirical Software Engineering, 2015
- Position-based automatic reverse engineering of network protocolsJournal of Network and Computer Applications, 2013
- Learning extended FSA from software: An empirical assessmentJournal of Systems and Software, 2012
- Generating regular expression signatures for network traffic classification in trusted network managementJournal of Network and Computer Applications, 2012
- Mutual information-based feature selection for intrusion detection systemsJournal of Network and Computer Applications, 2011
- Confirming configurations in efsm testingIEEE Transactions on Software Engineering, 2004
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Bro: a system for detecting network intruders in real-timeComputer Networks, 1999
- Formal methods for generating protocol conformance test sequencesProceedings of the IEEE, 1990
- A general method applicable to the search for similarities in the amino acid sequence of two proteinsJournal of Molecular Biology, 1970