Patching Locking Bugs Statically with Crayons.
Juan Cruz-CarlonMahsa VarshosazClaire Le GouesAndrzej WasowskiPublished in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
- concurrency control
- source code
- database systems
- root cause
- fine granularity
- garbage collection
- software systems
- open source java
- real world
- real time
- data objects
- software projects
- test cases
- computer vision
- fine grained
- transaction processing
- multi agent systems
- video sequences
- security vulnerabilities
- transaction processing systems
- bug localization
- databases