A binary analysis method for protocol deviation discovery from implementations | Publicación