BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tan:Jianbin

Contributed to:

ICSE 20062006
FSE 20042004
ICSE 20042004

Wrote 3 papers:

ICSE-2006-TanAC #finite #verification
Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.