Jingting Chen, Feng Li, Qingfang Chen, Ping Li, Lili Xu, Wei Huo. EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations. In Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2023, Hong Kong, China, October 16-18, 2023. pages 412-425, ACM, 2023. [doi]
Abstract is missing.