Travelled to:1 × Germany
2 × France
Collaborated with:P.Mishra X.Qin D.Yue X.Fu
Talks about:generat (2) order (2) decis (2) test (2) base (2) decomposit (1) techniqu (1) strategi (1) properti (1) function (1)
Person: Mingsong Chen
DBLP: Chen:Mingsong
Contributed to:
201520112010Wrote 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-2011-ChenM #composition #functional #generative #testing
- Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
- DATE-2010-ChenQM #generative #performance #satisfiability #testing
- Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.