Weigang He, Peng Di, Mengli Ming, Chengyu Zhang 0001, Ting Su 0001, Shijie Li, Yulei Sui. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. Proc. ACM Softw. Eng., 1(FSE):1656-1678, 2024. [doi]
@article{HeDM00LS24,
title = {Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles},
author = {Weigang He and Peng Di and Mengli Ming and Chengyu Zhang 0001 and Ting Su 0001 and Shijie Li and Yulei Sui},
year = {2024},
doi = {10.1145/3660781},
url = {https://doi.org/10.1145/3660781},
researchr = {https://researchr.org/publication/HeDM00LS24},
cites = {0},
citedby = {0},
journal = {Proc. ACM Softw. Eng.},
volume = {1},
number = {FSE},
pages = {1656-1678},
}