William T. Hallahan, Ennan Zhai, Ruzica Piskac. Automated repair by example for firewalls. In Daryl Stewart, Georg Weissenbacher, editors, 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. pages 220-229, IEEE, 2017. [doi]
@inproceedings{HallahanZP17,
title = {Automated repair by example for firewalls},
author = {William T. Hallahan and Ennan Zhai and Ruzica Piskac},
year = {2017},
doi = {10.23919/FMCAD.2017.8102263},
url = {https://doi.org/10.23919/FMCAD.2017.8102263},
researchr = {https://researchr.org/publication/HallahanZP17},
cites = {0},
citedby = {0},
pages = {220-229},
booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017},
editor = {Daryl Stewart and Georg Weissenbacher},
publisher = {IEEE},
isbn = {978-0-9835678-7-5},
}