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]
Abstract is missing.