@misc{indiciaeaac6f2b46f7e,
  title = {Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong},
  author = {Seyed K. Fayaz and Yoshiaki Tobioka and Sagar Chaki and Vyas Sekar},
  year = {2015},
  url = {https://arxiv.org/abs/1505.03356},
  note = {Source identifier: 1505.03356}
}