default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChengyu Zhang 0001
Person information
- affiliation: ETH Zurich, Switzerland
- affiliation: East China Normal University, Shanghai, China
Other persons with the same name
- Chengyu Zhang 0002 — Tsinghua University Library, Beijing, China
- Chengyu Zhang 0003
![[0000-0003-2999-0215]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-2999-0215")
— Nanjing Agriculture University, College of Engineering, China - Chengyu Zhang 0004 — Changzhou University, School of Computer Science and Artificial Intelligence, China
- Chengyu Zhang 0005 — China University of Geosciences, School of Computer Science, Wuhan, China
- Chengyu Zhang 0006 (aka: Chenyu Zhang 0006) — Beijing University of Posts and Telecommunications, Beijing Laboratory of Advanced Information Networks, China
- Chengyu Zhang 0007 — Nantong University, Nantong, China
- Chengyu Zhang 0008 — Wuhan University of Technology, School of Information Engineering, China
- Chengyu Zhang 0009 — Beijing Institute of Technology, School of Aerospace Engineering, China
- Chengyu Zhang 0010 — China United Network Communications Co., Ltd., Beijing, China
- Chengyu Zhang 0011 — New York University Shanghai, China
- Chengyu Zhang 0012 — Tianjin University, MoE Key Laboratory of Mechanism Theory and Equipment Design, China
- Chengyu Zhang 0013 — Northeastern University, College of Computer Sciences, Vancouver, BC, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j4]Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui:
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. Proc. ACM Softw. Eng. 1(FSE): 1656-1678 (2024)- 2021
- [j3]Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su:
Generative type-aware mutation for testing SMT solvers. Proc. ACM Program. Lang. 5(OOPSLA): 1-19 (2021) - 2020
- [j2]Dominik Winterer, Chengyu Zhang, Zhendong Su:
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. Proc. ACM Program. Lang. 4(OOPSLA): 193:1-193:25 (2020) - 2019
- [j1]Shuai Wang, Chengyu Zhang, Zhendong Su:
Detecting nondeterministic payment bugs in Ethereum smart contracts. Proc. ACM Program. Lang. 3(OOPSLA): 189:1-189:29 (2019)
Conference and Workshop Papers
- 2024
- [c11]Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su:
An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. ICER (1) 2024: 280-292 - [c10]Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He:
DivLog: Log Parsing with Prompt Enhanced In-Context Learning. ICSE 2024: 199:1-199:12 - 2023
- [c9]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods 2023: 257-293 - [c8]Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su:
Testing Graph Database Engines via Query Partitioning. ISSTA 2023: 140-149 - [c7]Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu:
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. TACAS (2) 2023: 36-43 - 2021
- [c6]Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu:
Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. ICCAD 2021: 1-9 - 2020
- [c5]Chengyu Zhang:
Stress testing SMT solvers via type-aware mutation. ICSE (Companion Volume) 2020: 119-121 - [c4]Dominik Winterer, Chengyu Zhang, Zhendong Su:
Validating SMT solvers via semantic fusion. PLDI 2020: 718-730 - [c3]Jie Wu, Chengyu Zhang, Geguang Pu:
Reinforcement Learning Guided Symbolic Execution. SANER 2020: 662-663 - 2019
- [c2]Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su:
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE 2019: 763-773 - 2018
- [c1]Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
Smartunit: empirical evaluations for automated unit testing of embedded software in industry. ICSE (SEIP) 2018: 296-305
Informal and Other Publications
- 2024
- [i6]Han Cui, Menglei Xie, Ting Su, Chengyu Zhang, Shin Hwei Tan:
An Empirical Study of False Negatives and Positives of Static Code Analyzers From the Perspective of Historical Issues. CoRR abs/2408.13855 (2024) - 2023
- [i5]Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang, Pinjia He:
Prompting for Automatic Log Template Extraction. CoRR abs/2307.09950 (2023) - 2020
- [i4]Dominik Winterer, Chengyu Zhang, Zhendong Su:
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. CoRR abs/2004.08799 (2020) - 2018
- [i3]Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu:
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry. CoRR abs/1802.08547 (2018) - [i2]Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu:
Towards Efficient Data-flow Test Data Generation Using KLEE. CoRR abs/1803.06516 (2018) - [i1]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-flow Test Data Generation. CoRR abs/1803.10431 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
