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 reviews for this publication, yet.