Lingyun Situ

According to our database, Lingyun Situ authored at least 13 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware.

Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi

IEEE Internet Things J., 2023

2021

The correlation between author-editorial cooperation and the author's publications in journals.

Tianjiao Zhang, Jin Shi, Lingyun Situ

J. Informetrics, 2021

Vulnerable Region-Aware Greybox Fuzzing.

Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu

J. Comput. Sci. Technol., 2021

Deep Learning-Based Hybrid Fuzz Testing.

Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang

Int. J. Softw. Informatics, 2021

Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis.

Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li

Int. J. Softw. Informatics, 2021

2019

Automatic Detection and Repair Recommendation for Missing Checks.

Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

J. Comput. Sci. Technol., 2019

Energy distribution matters in greybox fuzzing.

Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

DangDone: Eliminating Dangling Pointers via Intermediate Pointers.

Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.

Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

Proceedings of the Tenth Asia-Pacific Symposium on Internetware, 2018

Detecting missing checks for identifying insufficient attack protections.

Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2016

ACSPChecker: an ASP based CSP model checking tool.

Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

Carraybound: static array bounds checking in C programs based on taint analysis.

Fengjuan Gao, Tianjiao Chen, Yu Wang, Lingyun Situ, Linzhang Wang, Xuandong Li

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

2015

CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming.

Lingyun Situ, Lingzhong Zhao

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015