conftrace_

data plane analysis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

data plane (2) control plane (2) network configuration analysis (1) control plane verification (1) information flow graph (1) network reliability (1) network specification (1) configuration mining (1) policy synthesis (1) specification mining (1)

Papers

Test Coverage for Network Configurations NSDI 2023 Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020