Jingting Chen, Feng Li, Mingjie Xu, Jianhua Zhou, Wei Huo. RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022. pages 641-651, IEEE, 2022. [doi]
Abstract is missing.