| |
| 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] |