TY  - RPRT
TI  - Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong
AU  - Seyed K. Fayaz
AU  - Yoshiaki Tobioka
AU  - Sagar Chaki
AU  - Vyas Sekar
PY  - 2015
UR  - https://arxiv.org/abs/1505.03356
ID  - 1505.03356
ER  -