Link  Paper  bibtex   

@inproceedings{conf/sosr/MiserezBEVV15,
  added-at = {2016-01-27T00:00:00.000+0100},
  author = {Miserez, Jeremie and Bielik, Pavol and El-Hassany, Ahmed and Vanbever, Laurent and Vechev, Martin T.},
  biburl = {http://www.bibsonomy.org/bibtex/2f14114e9ea103c44d01662d5e044418e/dblp},
  booktitle = {SOSR},
  crossref = {conf/sosr/2015},
  editor = {Rexford, Jennifer and Vahdat, Amin},
  ee = {http://doi.acm.org/10.1145/2774993.2775004},
  interhash = {9603ca685781bf24d607831b9b9bd4ff},
  intrahash = {f14114e9ea103c44d01662d5e044418e},
  isbn = {978-1-4503-3451-8},
  keywords = {dblp},
  pages = {22:1-22:7},
  publisher = {ACM},
  timestamp = {2016-01-28T11:40:09.000+0100},
  title = {SDNRacer: detecting concurrency violations in software-defined networks.},
  url = {http://dblp.uni-trier.de/db/conf/sosr/sosr2015.html#MiserezBEVV15},
  year = 2015
}