Config2Spec: Mining Network Specifications from Network Configurations.

Rdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin T. Vechev

Browse the full NSDI paper archive.