Skip to content

Automatic Determination Method for Suspected Software Defects Based on Static Analysis.

Xuejian Li, Chunyang Sun, Zhenguang Zhu, Zihan Li

VenueBSMC
Year2025
ProceedingsSMC

Browse the full SMC paper archive.