Login / Signup
Ping Li
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Lightweight
Formal Analysis
Coloured Petri Nets
Software Evolution
Top Venues
RAID
</>
Publications
</>
Jingting Chen
,
Feng Li
,
Qingfang Chen
,
Ping Li
,
Lili Xu
,
Wei Huo
EBugDec: Detecting Inconsistency Bugs caused by RFC Evolution in Protocol Implementations.
RAID
(2023)