Login / Signup
Xue-er Ding
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Pattern Search
Formal Specification
Modal Logic
Model Checking
Top Venues
SETTA
</>
Publications
</>
Xue-er Ding
,
Jun Niu
,
Jia Wang
API Usage Pattern Search Based on Model Checking.
SETTA
(2021)