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: Qin:Xiaoke
Contributed to:
201520122010Wrote 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.