most citedScalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.NI2015★ 2 cited

Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong

Seyed K. Fayaz, Yoshiaki Tobioka, Sagar Chaki +1

Network operators today spend significant manual effort in ensuring and checking that the network meets their intended policies. While recent work in network verification has made…