Work

SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis

Year: 2024

Type: article

Source: ACM Transactions on Computer Systems

DOI: 10.1145/3695250

Authors: Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu

Institutions: Tsinghua University, Beihang University, UNSW Sydney

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: China Computer Federation

OpenAlex ID: W4402310141

FWCI: 6.234

Cites: 78

Cited by: 6

Related to: 10