Login / Signup
EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations.
Jingting Chen
Feng Li
Qingfang Chen
Ping Li
Lili Xu
Wei Huo
Published in:
RAID (2023)
Keyphrases
</>
source code
efficient implementation
lightweight
test cases
software systems
communication protocol
coloured petri nets
data structure
multi agent systems
formal analysis
software evolution
security vulnerabilities