Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

DOI10.1007/978-3-540-73770-4_9MaRDI QIDQ5423867zbMATH OpenOpenAlexFDO

Authors Achim D. Brucker, Burkhart Wolff

Publication date 31 October 2007

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73770-4_9

zbMATH Keywords

black box testingcomputer securityIsabelle/\textsc{hol}symbolic test case generationstest sequence generationtheorem proving

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On theorem prover-based testing
• Formal Approaches to Software Testing
• Monadic Sequence Testing and Explicit Test-Refinements
• Smart test data generators via logic programming
• Tactic program-based testing and bounded verification in Isabelle/HOL

Cited in

(9)

• Monadic Sequence Testing and Explicit Test-Refinements
• scientific article; zbMATH DE number 2084352 (Why is no real title available?)
• Test Generation for Network Security Rules
• UPF Firewall
• LOFT
• On theorem prover-based testing
• Functional Testing in the Focal Environment
• Formal Approaches to Software Testing
• Tactic program-based testing and bounded verification in Isabelle/HOL

Describes a project that uses

Uses Software

• HOL-TestGen
• ETPS
• Isabelle/Isar

This page was built for publication: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423867)