Title :
Experimental evaluation of FSM-based test derivation strategy for telecommunication protocols
Author_Institution :
Tomsk State University, Tomsk, Russia
Abstract :
The paper presents the experimental results on the fault coverage evaluation of tests for Time and POP3 protocols, which are derived using finite-state-machine methods. MuJava tool is used for the generation of faulty mutants of software protocol implementations.
Keywords :
"Protocols","Automata","Java","Software","Testing","Computers"
Conference_Titel :
East-West Design & Test Symposium (EWDTS), 2015 IEEE
DOI :
10.1109/EWDTS.2015.7493113
