Detection of concurrency errors in multithreaded applications based on static source code analysis

D Giebas, R Wojszczyk - IEEE Access, 2021 - ieeexplore.ieee.org
Computer systems that allow multithreaded execution of applications have become
extremely common, even small portable devices operate in multithreaded mode. This is …