Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks.
Yves Le TraonTao XiePublished in: Softw. Test. Verification Reliab. (2024)
Keyphrases
- source code
- open source
- symbolic execution
- software systems
- open source software
- static analysis
- white box
- software maintenance
- software projects
- software evolution
- program understanding
- high level
- linux kernel
- software engineers
- impact analysis
- text files
- mining software repositories
- maintenance activities
- test generation
- software repositories
- software artifacts
- program comprehension
- object oriented systems
- execution traces
- software testing
- visual basic
- bug localization
- software components
- code reuse