Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines | IEEE Conference Publication | IEEE Xplore