Seguir
Chaoqiang Zhang
Chaoqiang Zhang
Afiliação desconhecida
Nenhum e-mail foi confirmado
Título
Citado por
Citado por
Ano
Taming compiler fuzzers
Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
2042013
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
1672013
Swarm testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1272012
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, 2013
78*2013
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), 1-33, 2015
692015
Cause reduction for quick testing
A Groce, MA Alipour, C Zhang, Y Chen, J Regehr
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
632014
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
542014
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
532016
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
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
212013
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
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
Sixteenth International Symposium on Quality Electronic Design, 412-418, 2015
12015
Test Case Reduction, Prioritization, and Selection for Symbolic Execution
C Zhang
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–12