| |
| 2008 | ||
|---|---|---|
| 3 | EE | Zhongxing Xu, Jian Zhang: Path and Context Sensitive Inter-procedural Memory Leak Detection. QSIC 2008: 412-420 |
| 2006 | ||
| 2 | EE | Jun Yan, Jian Zhang, Zhongxing Xu: Finding Relations Among Linear Constraints. AISC 2006: 226-240 |
| 1 | EE | Zhongxing Xu, Jian Zhang: A Test Data Generation Tool for Unit Testing of C Programs. QSIC 2006: 107-116 |
| 1 | Jun Yan | [2] |
| 2 | Jian Zhang | [1] [2] [3] |