Model-based firewall conformance testing (0)

by A D Brucker, L Brügger, B Wolff