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 × Austria
1 × The Netherlands
1 × USA
2 × Germany
Collaborated with:
K.G.Larsen B.Nielsen A.David S.Pusinskas J.Wang Z.Qi
Talks about:
time (5) system (4) test (4) real (3) scenario (2) base (2) statechart (1) synthesi (1) properti (1) approach (1)

Person: Shuhao Li

DBLP DBLP: Li:Shuhao

Contributed to:

DATE 20102010
FM 20092009
ICST 20092009
DATE 20082008
MBT 20082008
ASE 20042004

Wrote 6 papers:

DATE-2010-LarsenLNP #analysis #realtime #synthesis #using
Scenario-based analysis and synthesis of real-time systems using uppaal (KGL, SL, BN, SP), pp. 447–452.
FM-2009-LarsenLNP #realtime #requirements #verification
Verifying Real-Time Systems against Scenario-Based Requirements (KGL, SL, BN, SP), pp. 676–691.
ICST-2009-DavidLLN #testing
Timed Testing under Partial Observability (AD, KGL, SL, BN), pp. 61–70.
DATE-2008-DavidLLN #approach #game studies #realtime #testing
A Game-Theoretic Approach to Real-Time System Testing (AD, KGL, SL, BN), pp. 486–491.
MBT-2008-DavidLLN #testing
Cooperative Testing of Timed Systems (AD, KGL, SL, BN), pp. 79–92.
ASE-2004-LiWQ #generative #testing #uml
Property-Oriented Test Generation from UML Statecharts (SL, JW, ZCQ), pp. 122–131.

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.