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]
@inproceedings{BruckerBKW10,
title = {Verified Firewall Policy Transformations for Test Case Generation},
author = {Achim D. Brucker and Lukas Brügger and Paul Kearney and Burkhart Wolff},
year = {2010},
doi = {10.1109/ICST.2010.50},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2010.50},
tags = {testing, transformation},
researchr = {https://researchr.org/publication/BruckerBKW10},
cites = {0},
citedby = {0},
pages = {345-354},
booktitle = {Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3990-4},
}