109 citations · 109 across the 5 of their papers we have counts for
1 paper · 1 filter
Radu Stoenescu, Matei Popovici, Lorina Negreanu +1
We present SymNet, a network static analysis tool based on symbolic execution. SymNet quickly analyzes networks by injecting symbolic packets and tracing their path through the net…