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 × 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 DBLP: Zhang:Chaoqiang

Contributed to:

ICST 20142014
ISSTA 20142014
ISSTA 20132013
PLDI 20132013
ISSTA 20122012

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.

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.