Patching Locking Bugs Statically with Crayons.

Juan Cruz-Carlon Mahsa Varshosaz Claire Le Goues Andrzej Wasowski

Published 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