Folgen
Yuxuan Chen
Yuxuan Chen
Facebook, Inc.
Bestätigte E-Mail-Adresse bei fb.com
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2