ReFSM: Reverse engineering from protocol packet traces to test generation by extended finite state machines.
Ying-Dar LinYu-Kuen LaiQuan Tien BuiYuan-Cheng LaiPublished in: J. Netw. Comput. Appl. (2020)
Keyphrases
- reverse engineering
- test generation
- finite state machines
- mutation testing
- test cases
- software engineering
- object oriented
- test sequences
- network devices
- design automation
- finite state automata
- dynamic analysis
- quality assurance
- program understanding
- gene regulatory networks
- model checking
- software maintenance
- static analysis
- software testing
- database applications
- computer aided design
- ip address
- regular expressions
- software development
- reverse engineer
- business rules
- database
- test suite
- legacy systems
- quality control