Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations.
Pengbo NieChengcheng WanJiayu ZhuZiyi LinYuting ChenZhendong SuPublished in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
- white box testing
- test suite
- black box
- set of test cases
- semi supervised learning
- software testing
- test cases
- model based testing
- efficient implementation
- code coverage
- testing process
- neural network
- model validation
- probabilistic model
- data sets
- parameter estimation
- sensor networks
- bayesian networks
- information systems