Beckett, Ryan

A general approach to network configuration verification

Beckett, R., Gupta, A., Mahajan, R., & Walker, D. (2017) · Proceedings of the Conference of the ACM Special Interest Group on Data Communication

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 262

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J., & Walker, D. (2017) · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software-Defined Networks and 5GNetwork Traffic and Congestion Control

Cited by 62

Test coverage for network configurations

Xu, X., Deng, W., Beckett, R., Mahajan, R., & Walker, D. (2022) · arXiv

Software Testing and Debugging TechniquesSoftware-Defined Networks and 5G

Cited by 0