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)
Subjects: G400 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
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 08 May 2017 14:13
Last Modified: 08 May 2017 14:13
URI: http://www.open-access.bcu.ac.uk/id/eprint/4282

Actions (login required)

View Item View Item

Research

In this section...