@inproceedings{wu-2017-metaprov,
  author = {Yang Wu and Ang Chen and Andreas Haeberlen and Boon Thau Loo and Wenchao Zhou},
  title = {Automated Bug Removal for Software-Defined Networks},
  booktitle = {Proceedings of USENIX Symposium of Networked Systems Design and Implmentation (NSDI)},
  location = {Boston, MA},
  month = mar,
  year = 2017 
}