EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations.

Jingting Chen, Feng Li, Qingfang Chen, Ping Li, Lili Xu, Wei Huo

Browse the full RAID paper archive.