Travelled to:
1 × Switzerland
4 × USA
Collaborated with:
A.Groce M.A.Alipour Y.Chen J.Regehr E.Eide M.Gligoric R.Sharma D.Marinov W.Wong X.Fern
Talks about:
test (4) reduct (2) use (2) criteria (1) priorit (1) coverag (1) symbol (1) improv (1) fuzzer (1) execut (1)
Person: Chaoqiang Zhang
DBLP: Zhang:Chaoqiang
Contributed to:
Wrote 5 papers:
- ICST-2014-GroceAZCR #reduction #testing
- Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
- ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using
- Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
- ISSTA-2013-GligoricGZSAM #test coverage #testing #using
- Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
- PLDI-2013-ChenGZWFER #compilation #fuzzing
- Taming compiler fuzzers (YC, AG, CZ, WKW, XF, EE, JR), pp. 197–208.
- ISSTA-2012-GroceZECR #testing
- Swarm testing (AG, CZ, EE, YC, JR), pp. 78–88.