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 × Denmark
1 × Switzerland
2 × Italy
3 × USA
Collaborated with:
R.Cleaveland M.Feng R.Gupta F.Wei S.Liu Y.Song S.Pan M.X.Zhou W.Qian L.Shi Q.Zhang
Talks about:
game (3) base (3) program (2) specif (2) model (2) check (2) lightweight (1) exploratori (1) platform (1) parallel (1)

Person: Li Tan


Contributed to:

CGO 20132013
TAP 20112011
KDD 20102010
ASE 20052005
CAV 20042004
CAV 20022002
VMCAI 20022002
TACAS 20012001

Wrote 8 papers:

CGO-2013-TanFG #detection #fault #lightweight #source code
Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.
TAP-2011-Tan #automaton #metric #testing
State Coverage Metrics for Specification-Based Testing with Büchi Automata (LT), pp. 171–186.
KDD-2010-WeiLSPZQSTZ #named #visual notation
TIARA: a visual exploratory text analytic system (FW, SL, YS, SP, MXZ, WQ, LS, LT, QZ), pp. 153–162.
ASE-2005-Tan #embedded #logic #modelling #self #source code #specification
Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.
CAV-2004-Tan #framework #game studies #named #platform
PlayGame: A Platform for Diagnostic Games (LT), pp. 492–495.
CAV-2002-TanC #model checking
Evidence-Based Model Checking (LT, RC), pp. 455–470.
VMCAI-2002-Tan #game studies
An Abstract Schema for Equivalence-Checking Games (LT), pp. 65–78.
TACAS-2001-TanC #revisited #simulation
Simulation Revisited (LT, RC), pp. 480–495.

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.