Work

LLMSA-MC: Bridging LLM Reasoning and Static Analysis for Detecting Missing-Check Bugs in Linux Kernels

Year: 2026

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/3858419

Authors: Jianjun Shi, Tianyang Liu, Yuxuan Wang, Pan Liu, Xinyue Wang, Weixing Ji

Institutions: Beijing Normal University, Beijing Institute of Technology, Beijing University of Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7222575163

FWCI:

Cites: 23

Cited by:

Related to: