Chengyu Zhang

Ph.D. Student

School of computer science and software engineering

East China Normal University (ECNU)

Email: dale.chengyu.zhang AT gmail DOT com


I am a third-year Ph.D. student at East China Normal University (ECNU), Shanghai, China (2016-now), and supervised by Prof. Geguang Pu. I graduated from East China Normal University with Excellent Graduate Award (2012-2016). I was the co-founder of Shanghai Neoclub Information Technology Co., Ltd. (2015-2016). Now, I am a visiting Ph.D. student in Prof. Zhendong Su‘s group, ETH Zurich.

My research interests are in:

  • Software Testing
  • Symbolic Execution
  • Program Analysis


  1. SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
    Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu
    40th International Conference on Software Engineering
    ICSE 2018 SEIP (acceptance rate: 24%, 31/131)  arxiv
  2. Towards Efficient Data Flow Test Input Generation Using KLEE
    Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu and Geguang Pu.
    1st International KLEE Workshop on Symbolic Execution
    KLEE 2018 Presentation (accepted)  arxiv
  3. Towards Efficient Data Flow Test Input Generation
    Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
    (manuscript)  arxiv

Teaching Assistant

  • Data Structures and Algorithms, 2018 Spring, ECNU