Browsing byAuthorHu, SM
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2022-02-28 | Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs | Li, T; Bai, JJ; Sui, Y; Hu, SM |
Issue Date | Title | Author(s) |
---|---|---|
2022-02-28 | Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs | Li, T; Bai, JJ; Sui, Y; Hu, SM |