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 × Germany
3 × USA
Collaborated with:
K.Cong F.Xie Z.Yang K.Hao S.Ray
Talks about:
prototyp (2) virtual (2) silicon (2) test (2) post (2) framework (1) synthesi (1) behavior (1) scalabl (1) coverag (1)

Person: Li Lei


Contributed to:

ISSTA 20152015
DAC 20142014
DATE 20142014
DAC 20132013

Wrote 4 papers:

ISSTA-2015-CongLYX #automation #fault #injection #robust #testing
Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
DAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
DATE-2014-CongLYX #evaluation #prototype #testing #validation
Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
DAC-2013-LeiXC #consistency #prototype
Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.

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.