| 2009 | ||
|---|---|---|
| 2 | Shikun Chen, Zhoujun Li: Simplifying Buffer Overflow Detection Using Site-Safe Expressions. ACIS-ICIS 2009: 977-982 | |
| 1 | Shikun Chen, Zhoujun Li, Mengjun Li: Constructing Program Invariants via Solving QBF. TASE 2009: 217-221 | |
| 1 | Mengjun Li | [1] |
| 2 | Zhoujun Li | [1] [2] |