Chaoqiang Zhang
Title
Cited by
Cited by
Year
Taming compiler fuzzers
Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr
ACM SIGPLAN Notices 48 (6), 197-208, 2013
1222013
Comparing non-adequate test suites using coverage criteria
M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
1212013
Swarm testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
832012
You are the only possible oracle: Effective test selection for end users of interactive machine learning systems
A Groce, T Kulesza, C Zhang, S Shamasunder, M Burnett, WK Wong, ...
IEEE Transactions on Software Engineering 40 (3), 307-323, 2014
45*2014
Cause reduction for quick testing
A Groce, MA Alipour, C Zhang, Y Chen, J Regehr
Software Testing, Verification and Validation (ICST), 2014 IEEE Seventh …, 2014
382014
Using test case reduction and prioritization to improve symbolic execution
C Zhang, A Groce, MA Alipour
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
372014
Guidelines for coverage-based comparisons of non-adequate test suites
M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (4), 22, 2015
362015
Cause reduction: delta debugging, even without bugs
A Groce, MA Alipour, C Zhang, Y Chen, J Regehr
Software Testing, Verification and Reliability 26 (1), 40-68, 2016
342016
Help, help, i'm being suppressed! The significance of suppressors in software testing
A Groce, C Zhang, MA Alipour, E Eide, Y Chen, J Regehr
Software Reliability Engineering (ISSRE), 2013 IEEE 24th International …, 2013
142013
Finding model-checkable needles in large source code haystacks: Modular bug-finding via static analysis and dynamic invariant discovery
MA Alipour, A Groce, C Zhang, A Sanadaji, G Caushik
arXiv preprint arXiv:1609.06382, 2016
22016
Test Case Reduction, Prioritization, and Selection for Symbolic Execution
C Zhang
2015
Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems
MN Velev, C Zhang, P Gao, AD Groce
Quality Electronic Design (ISQED), 2015 16th International Symposium on, 412-418, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–12