A General Approach to Network Configuration Analysis. - Ari Fogel; Stanley Fung; Luis Pedrosa; Meg Walraed-Sullivan; Ramesh Govindan; Ratul Mahajan; Todd D. Millstein (NSDI, 2015)