Следене
Yuxuan Chen
Yuxuan Chen
Facebook, Inc.
Потвърден имейл адрес: 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