Generating a Model of a Communication Protocol from Test Data
Model-based techniques for verification and validation require a model of the system under test (SUT). However, most communication systems lack a complete, correctmodel. One approach for generating a model of a system is to infer the model byobserving its external behavior. This

