关注
Yuxuan Chen
Yuxuan Chen
在 fb.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
SynFuzz: Efficient concolic execution via branch condition synthesis
W Han, ML Rahman, Y Chen, C Song, B Lee, I Shin
arXiv preprint arXiv:1905.09532, 2019
62019
Staged Abstract Interpreters
G Wei, Y Chen, T Rompf
2019
系统目前无法执行此操作,请稍后再试。
文章 1–2