Verified Firewall Policy Transformations for Test Case Generation.

Achim D. Brucker, Lukas Brgger, Paul J. Kearney, Burkhart Wolff

Browse the full ICST paper archive.