Travelled to:1 × China
1 × USA
1 × United Kingdom
Collaborated with:G.S.Avrunin L.A.Clarke S.Zilberstein S.Leue
Talks about:heurist (2) flaver (2) counterexampl (1) search (1) verif (1) state (1) space (1) refin (1) model (1) manag (1)
Person: Jianbin Tan
DBLP: Tan:Jianbin
Contributed to:
2006
20042004Wrote 3 papers:
- ICSE-2006-TanAC #finite #verification
- Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
- FSE-2004-TanACZL
- Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.
- ICSE-2004-TanAC #heuristic #refinement
- Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.