Chengyu Zhang's Papers

  1. On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers.
    Dominik Winterer*, Chengyu Zhang* and Zhendong Su. (*: Equal contributions)
    In Proceedings of SPLASH/OOPSLA 2020. (conditionally accepted)

  2. Validating SMT Solvers via Semantic Fusion.
    Dominik Winterer*, Chengyu Zhang* and Zhendong Su. (*: Equal contributions)
    In Proceedings of PLDI 2020.     [ Website ]
  3. PLDI Distinguished Paper Award

  4. Reinforcement Learning Guided Symbolic Execution.
    Jie Wu, Chengyu Zhang and Geguang Pu.
    In Proceedings of SANER 2020, LBI track.

  5. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts.
    Shuai Wang, Chengyu Zhang and Zhendong Su.
    In Proceedings of SPLASH/OOPSLA 2019.

  6. Finding and Understanding Bugs in Software Model Checkers.
    Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu and Zhendong Su.
    In Proceedings of ESEC/FSE 2019 (acceptance rate: 24%, 74/303).    [ Slides / Reported bugs ]

  7. Towards Efficient Data-flow Test Data Generation.
    Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu and Zhendong Su.
    CoRR, abs/1803.10431, 2018.

  8. 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 and Geguang Pu.
    In Proceedings of ICSE 2018, SEIP track (acceptance rate: 24%, 31/131).

  9. Towards Efficient Data-flow Test Data Generation using KLEE.
    Chengyu Zhang, Ting Su, Yichen Yan, Ke Wu, Geguang Pu
    CoRR, abs/1803.06516, 2018. (Abstract for talk at KLEE Workshop 2018)
last modified: 2020.08.11