Verified firewall policy transformations for test case generation
Brücker, A.D. and Brügger, L. and Kearney, Paul and Wolff, B. (2010) Verified firewall policy transformations for test case generation. In: Third Conference on Software Testing, Verification and Validation, Paris.
Full text not available from this repository. (Request a copy)Item Type: | Conference or Workshop Item (Paper) | ||||
---|---|---|---|---|---|
Dates: |
|
||||
Subjects: | CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science | ||||
Divisions: | Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology |
||||
Depositing User: | Oana-Andreea Dumitrascu | ||||
Date Deposited: | 08 May 2017 14:13 | ||||
Last Modified: | 22 Mar 2023 12:02 | ||||
URI: | https://www.open-access.bcu.ac.uk/id/eprint/4282 |
Actions (login required)
View Item |
Tools
CORE (COnnecting REpositories)