Seguir
Yuxuan Chen
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2