Experimental evaluation of FSM-based test derivation strategy for telecommunication protocols | IEEE Conference Publication | IEEE Xplore