Login / Signup

RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations.

Jingting ChenFeng LiMingjie XuJianhua ZhouWei Huo
Published in: SANER (2022)
Keyphrases
  • network protocols
  • website
  • lightweight
  • automatic detection
  • database
  • software systems
  • classical logic
  • tcp ip
  • coloured petri nets