8 citations · 16 across the 6 of their papers we have counts for
1 paper · 1 filter
Aaron Gember-Jacobson, Ruchit Shrestha, Xiaolin Sun
Router configuration errors are unfortunately common and difficult to localize using current network verifiers. We introduce a novel configuration error localizer (CEL) that precis…