Formal firewall conformance testing
Brucker, Achim D.
- Journal Article
Journal / seriesSoftware Testing, Verification and Reliability
SubjectModel-based testing; Conformance testing; Security testing; Firewall; Specification-based testing; Testing cloud infrastructure; Transformation for testability; HOL-Testgen; Test and proof; Security configuration testing
NotesReceived 6 August 2012, Revised 24 June 2014, Accepted 16 July 2014, Published online 27 August 2014.
MoreShow all metadata