Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines

T. Ramalingom، نويسنده , , K. Thulasiraman، نويسنده , , A. Das، نويسنده ,

روزنامه با شماره پیاپی سال 2003

12

1622

1633

Communication protocol testing , Software testing , State identification sequences , Verification , validation , Test case generation , Extended finite state machine model

Computer Communications

2003

Computer Communications

309773