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]
Abstract is missing.