Login / Signup
Mengli Ming
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Semi Automated
Deeper Understanding
Computer Aided
Finding Optimal
Top Venues
Proc. ACM Softw. Eng.
</>
Publications
</>
Weigang He
,
Peng Di
,
Mengli Ming
,
Chengyu Zhang
,
Ting Su
,
Shijie Li
,
Yulei Sui
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Proc. ACM Softw. Eng.
1 (FSE) (2024)