Localizing Router Configuration Errors Using Unsatisfiable Cores

Ruchit Shrestha, Xiaolin Sun, Aaron Gember-Jacobson
January, 2019
Cite Abstract Code
Type
Poster-Conference
Publication
USENIX Symposium on Networked Systems Design and Implementation (NSDI)