Automated test generation and fuzzing
4 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Test generationSecurity testingBug finding
privacy-security
- Fuzz-driven vulnerability discoverySanitizer-guided coveragestandardprivacy-security
program-analysis
- Symbolic executionPath-condition solvingstandardprogram-analysis
- Concolic testingConcrete-symbolic mixingstandardprogram-analysis
- FuzzingCoverage-guided mutationstandardprogram-analysis