Lingyun Situ

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 12

Top Topics

Bounded Model Checking

Answer Set Programming

Alternating Time Temporal Logic

Top Venues

ICSE (Companion Volume)

Int. J. Softw. Informatics

J. Comput. Sci. Technol.

Publications

Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10 (23) (2023)
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. Int. J. Softw. Informatics 11 (2) (2021)
Tianjiao Zhang, Jin Shi, Lingyun Situ
The correlation between author-editorial cooperation and the author's publications in journals. J. Informetrics 15 (1) (2021)
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
Deep Learning-Based Hybrid Fuzz Testing. Int. J. Softw. Informatics 11 (3) (2021)
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36 (5) (2021)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Automatic Detection and Repair Recommendation for Missing Checks. J. Comput. Sci. Technol. 34 (5) (2019)
Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu
Energy distribution matters in greybox fuzzing. ICSE (Companion Volume) (2019)
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware (2018)
Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Detecting missing checks for identifying insufficient attack protections. ICSE (Companion Volume) (2018)
Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities. Internetware (2018)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li
Carraybound: static array bounds checking in C programs based on taint analysis. Internetware (2016)
Lingyun Situ, Lingzhong Zhao
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. APSEC (2015)