| 2009 |
|---|
| 4 | EE | 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) |
| 2008 |
|---|
| 3 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference.
ISoLA 2008: 252-261 |
| 2 | EE | Wanwei Liu,
Ji Wang,
Huowang Chen,
Xiaodong Ma:
Symbolic Model Checking APSL.
TASE 2008: 39-46 |
| 1 | EE | Xiaodong Ma,
Ji Wang,
Wei Dong:
Shape Analysis by Refining on Abstract Evaluation Path.
Electr. Notes Theor. Comput. Sci. 207: 137-151 (2008) |
