Follow
Yuxuan Chen
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–2