TY  - RPRT
TI  - Scalable Thread-Safety Analysis of Java Classes with CodeQL
AU  - Bjørnar Haugstad Jåtten
AU  - Simon Boye Jørgensen
AU  - Rasmus Petersen
AU  - Raúl Pardo
PY  - 2025
UR  - https://arxiv.org/abs/2509.02022
ID  - 2509.02022
ER  -