Jianbin Tan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Jianbin Tan, George S. Avrunin, Lori A. Clarke: Managing space for finite-state verification. ICSE 2006: 152-161

2 Jianbin Tan, George S. Avrunin, Lori A. Clarke: Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644

1 Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210

Selection of 3 from 6 records - Jianbin Tan has 12 coauthors

3		Jianbin Tan, George S. Avrunin, Lori A. Clarke: Managing space for finite-state verification. ICSE 2006: 152-161
2		Jianbin Tan, George S. Avrunin, Lori A. Clarke: Heuristic-Based Model Refinement for FLAVERS. ICSE 2004: 635-644
1		Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue: Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE 2004: 201-210