Automated repair by example for firewalls.

William T. Hallahan, Ennan Zhai, Ruzica Piskac

Browse the full FMCAD paper archive.