Exploring the state space of an application protocol: A case study of SMTP | IEEE Conference Publication | IEEE Xplore