A binary analysis method for protocol deviation discovery from implementations | IEEE Conference Publication | IEEE Xplore