CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. - Lingyun Situ; Lingzhong Zhao (APSEC, 2015)

Carraybound: static array bounds checking in C programs based on taint analysis. - Fengjuan Gao; Tianjiao Chen; Yu Wang 093; Lingyun Situ; Linzhang Wang; Xuandong Li (Internetware, 2016)

ACSPChecker: an ASP based CSP model checking tool. - Lingyun Situ; Yu Wang 093; Fengjuan Gao; Linzhang Wang; Lei Bu; Jianhua Zhao; Xuandong Li (Internetware, 2016)

Detecting missing checks for identifying insufficient attack protections. - Lingyun Situ; Liang Zou; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (ICSE (Companion Volume), 2018)

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. - Lingyun Situ; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (Internetware, 2018)

DangDone: Eliminating Dangling Pointers via Intermediate Pointers. - Yu Wang 093; Fengjuan Gao; Lingyun Situ; Lingzhang Wang; Bihuan Chen 001; Yang Liu 003; Jianhua Zhao; Xuandong Li (Internetware, 2018)

Energy distribution matters in greybox fuzzing. - Lingyun Situ; Linzhang Wang; Xuandong Li; Le Guan; Wenhui Zhang; Peng Liu 005 (ICSE (Companion Volume), 2019)

Automatic Detection and Repair Recommendation for Missing Checks. - Lingyun Situ; Linzhang Wang; Yang Liu 003; Bing Mao 001; Xuandong Li (J. Comput. Sci. Technol., 2019)

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. - Fengjuan Gao; Yu Wang 093; Tianjiao Chen; Lingyun Situ; Linzhang Wang; Xuandong Li (Int. J. Softw. Informatics, 2021)

Deep Learning-Based Hybrid Fuzz Testing. - Fengjuan Gao; Yu Wang 093; Lingyun Situ; Linzhang Wang (Int. J. Softw. Informatics, 2021)

Vulnerable Region-Aware Greybox Fuzzing. - Lingyun Situ; Zhiqiang Zuo 002; Le Guan; Linzhang Wang; Xuandong Li; Jin Shi; Peng Liu 005 (J. Comput. Sci. Technol., 2021)

The correlation between author-editorial cooperation and the author's publications in journals. - Tianjiao Zhang; Jin Shi; Lingyun Situ (J. Informetrics, 2021)

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. - Lingyun Situ; Chi Zhang 073; Le Guan; Zhiqiang Zuo 002; Linzhang Wang; Xuandong Li; Peng Liu 005; Jin Shi (IEEE Internet Things J., 2023)

Identification of important software based on software dependency graph. - Xiaotong Hu; Ziwei Chen; Lingyun Situ; Xuelian Pan; Jin Shi (Scientometrics, 2025)