New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair.

Ruzica Piskac

Browse the full SAS paper archive.