Automatic generation of extended UIO sequences for communication protocols in an EFSM model

Scientific Computing in the Cloud

IEEE Design & Test

Confirming Configurations in EFSM Testing

IEEE Transactions on Software Engineering

A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models

IEEE Transactions on Computers

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation

Context independent unique sequences generation for protocol testing

INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3

UIOE: a protocol test sequence generation method using the transition executability analysis (TEA)

Computer Communications

Test case generation of a communication protocol by an adaptive state exploration

Computer Communications