Zhenbang Chen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zehua Chen

> Home > Persons > Zhenbang Chen

Publications

2024
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/ChenZCSPZW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/ChenZCSPZW24
Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang:
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36(4) (2024)
2021
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChenCSZP0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChenCSZP0021
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang:
Synthesize solving strategy for symbolic execution. ISSTA 2021: 348-360
2020
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChenCSZP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChenCSZP20
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan:
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE 2020: 1262-1263

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.