Security Mutants for Property-Based Testing.
Matthias BüchlerJohan OudinetAlexander PretschnerPublished in: TAP@TOOLS (2011)
Keyphrases
- test cases
- test sequences
- test suite
- security issues
- test data
- information security
- access control
- computer security
- mutation testing
- intrusion detection
- network security
- fault injection
- security requirements
- blind signature scheme
- testing process
- security problems
- information assurance
- key management
- security threats
- security level
- security mechanisms
- security properties
- elliptic curve
- statistical databases
- test generation
- java card
- database
- functional requirements
- bit rate
- information systems