| 2008 |
|---|
| 5 | EE | Fei Pu,
Yan Zhang:
Localizing Program Errors via Slicing and Reasoning.
HASE 2008: 187-196 |
| 2007 |
|---|
| 4 | EE | Fei Pu,
Wenhui Zhang:
Partition Refinement in Abstract Model Checking.
TASE 2007: 209-218 |
| 3 | EE | Fei Pu,
Wenhui Zhang:
Combining search space partition and abstraction for LTL model checking.
Science in China Series F: Information Sciences 50(6): 793-810 (2007) |
| 2006 |
|---|
| 2 | EE | Fei Pu,
Wenhui Zhang:
LTL Model Checking via Search Space Partition.
QSIC 2006: 418-428 |
| 2005 |
|---|
| 1 | EE | Fei Pu,
Wenhui Zhang,
Shaochun Wang:
An Improved Case-Based Approach to LTL Model Checking.
RISE 2005: 190-202 |
