Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff. Verified Firewall Policy Transformations for Test Case Generation. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010. pages 345-354, IEEE Computer Society, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.