BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Norway
1 × Portugal
Collaborated with:
L.Wang X.Li X.Qiu W.E.Wong J.Yuan J.Zhao G.Zheng
Talks about:
program (3) java (3) diagram (2) runtim (2) verif (2) base (2) uml (2) inconsist (1) scenario (1) interact (1)

Person: Bin Lei

DBLP DBLP: Lei:Bin

Contributed to:

ICST 20082008
SAC 20082008
Ada-Europe 20062006

Wrote 3 papers:

ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
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.