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 × France
2 × Germany
Collaborated with:
P.Mishra M.Chen D.Yue X.Fu
Talks about:
generat (2) test (2) techniqu (1) strategi (1) protocol (1) transit (1) statist (1) schedul (1) coverag (1) variat (1)

Person: Xiaoke Qin

DBLP DBLP: Qin:Xiaoke

Contributed to:

DATE 20152015
DATE 20122012
DATE 20102010

Wrote 3 papers:

DATE-2015-ChenYQFM #evaluation #model checking #scheduling #statistics #using
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking (MC, DY, XQ, XF, PM), pp. 199–204.
DATE-2012-QinM #automation #generative #protocol #testing
Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATE-2010-ChenQM #generative #performance #satisfiability #testing
Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–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.