TY  - RPRT
TI  - TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection
AU  - Ruoyu Wang
AU  - Tuo Li
AU  - Jia Li
PY  - 2026
UR  - https://arxiv.org/abs/2609.13728
ID  - 2609.13728
ER  -