RIBDetector: an RFC-guided Inconsistency Bug Detecting Approach for Protocol Implementations. - Jingting Chen; Feng Li; Mingjie Xu; Jianhua Zhou; Wei Huo (SANER, 2022)

EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations. - Jingting Chen; Feng Li 045; Qingfang Chen; Ping Li 065; Lili Xu; Wei Huo (RAID, 2023)