 | 2009 |
|---|
| 5 |       | Wanwei Liu,
Ji Wang,
Huowang Chen,
Xiaodong Ma,
Zhaofei Wang:
Symbolic model checking APSL.
Frontiers of Computer Science in China 3(1): 130-141 (2009) |
| 4 | | Ji Wang,
Xiaodong Ma,
Wei Dong,
Hou-Feng Xu,
Wanwei Liu:
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis.
J. Comput. Sci. Technol. 24(2): 347-356 (2009) |
| 2008 |
|---|
| 3 | | Xiaodong Ma,
Ji Wang,
Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference.
ISoLA 2008: 252-261 |
| 2 | | Wanwei Liu,
Ji Wang,
Huowang Chen,
Xiaodong Ma:
Symbolic Model Checking APSL.
TASE 2008: 39-46 |
| 1 | | Xiaodong Ma,
Ji Wang,
Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path.
Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008) |
