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:	Date Event 2010 Published
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 > College of Computing
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