Segui
Yuxuan Chen
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–2