Inferring protocol state machine for binary communication protocol | IEEE Conference Publication | IEEE Xplore