Security guarantees for automated software testing.
Danushka LiyanagePublished in: ESEC/SIGSOFT FSE (2021)
Keyphrases
- software testing
- test cases
- software development
- quality assurance
- software systems
- fault localization
- software reliability
- test case generation
- control flow
- white box testing
- integration testing
- software engineering
- test generation
- access control
- test data generation
- test suite
- testing process
- intrusion detection
- regression testing
- black box
- human operators
- information security
- neural network
- fully automated
- network security
- artificial intelligence
- security policies
- formal specification
- open source
- cooperative
- code coverage
- data sets