| 2009 |
|---|
| 4 | EE | Yi Huang,
Jianbin Tan,
Lei Zhang:
A Context Analytical Method Basing on Text Structure.
JSW 4(1): 3-10 (2009) |
| 2006 |
|---|
| 3 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Managing space for finite-state verification.
ICSE 2006: 152-161 |
| 2004 |
|---|
| 2 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke:
Heuristic-Based Model Refinement for FLAVERS.
ICSE 2004: 635-644 |
| 1 | EE | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke,
Shlomo Zilberstein,
Stefan Leue:
Heuristic-guided counterexample search in FLAVERS.
SIGSOFT FSE 2004: 201-210 |
