@inproceedings {189014, author = {Ari Fogel and Stanley Fung and Luis Pedrosa and Meg Walraed-Sullivan and Ramesh Govindan and Ratul Mahajan and Todd Millstein}, title = {A General Approach to Network Configuration Analysis}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {469--483}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/fogel}, publisher = {USENIX Association}, month = may }