Yizheng Chen
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Prog. Lang.×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Symbolon: Symbolic Execution by Learning Code Transformation
The paper presents Symbolon, a framework that learns and applies context-sensitively diverse code transformations to improve symbolic execution, increasing coverage and reducing costs.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.PLcs.SEEmpiricalRecentJun 27, 2026
Symbolon: Symbolic Execution by Learning Code Transformation
Jie Zhu, Penghui Li, Zhongxuan Li, Chihao Shen +3 more
The paper presents Symbolon, a framework that learns and applies context-sensitively diverse code transformations to improve symbolic execution, increasing coverage and reducing costs.
View →