2 papers
cs.NI2022
Test Coverage for Network Configurations
Xieyang Xu, Weixin Deng, Ryan Beckett +2
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus…
cs.NI2018
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan +1
We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original netw…