Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond.
Jingda YangSudhanshu AryaYing WangPublished in: CoRR (2023)
Keyphrases
- information security
- formal specification
- security issues
- test case generation
- software testing
- reactive systems
- formal methods
- formal language
- protocol specification
- test cases
- model based testing
- formal model
- code generation
- formal verification
- sensitive data
- fault injection
- operational semantics
- security protocols
- wireless sensor networks
- security requirements
- security policies
- network security
- model checking
- access control