Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis.
Damian GiebasRafal WojszczykPublished in: IEEE Access (2021)
Keyphrases
- source code
- software systems
- static analysis
- open source
- impact analysis
- manual inspection
- software projects
- open source software
- software maintenance
- free software
- linux kernel
- artificial intelligence
- software evolution
- open source projects
- object oriented systems
- visual basic
- program understanding
- symbolic execution