hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brgger, Burkhart Wolff

Browse the full ICTAC paper archive.