Mutation-Based Test Generation from Security Protocols in HLPSL.
Frédéric DadeauPierre-Cyrille HéamRafik KheddamPublished in: ICST (2011)
Keyphrases
- test generation
- security protocols
- test cases
- automated design
- evolutionary algorithm
- security properties
- static analysis
- security mechanisms
- artificial immune algorithm
- software testing
- key management
- quality assurance
- fitness function
- security requirements
- rfid tags
- error rate
- software engineering
- wireless sensor networks
- database