Programmable Networks
@inproceedings{birkner2020config2spec, title={Config2Spec: Mining Network Specifications from Network Configurations}, author={Birkner, R{\"u}diger and Drachsler-Cohen, Dana and Vanbever, Laurent and Vechev, Martin}, booktitle={17th $\{$USENIX$\}$ Symposium on Networked Systems Design and Implementation ($\{$NSDI$\}$ 20)}, year={2020}, organization={USENIX$\}$ Association}}