@misc{indiciaef278c2b2fd50,
  title = {Scalable Thread-Safety Analysis of Java Classes with CodeQL},
  author = {Bjørnar Haugstad Jåtten and Simon Boye Jørgensen and Rasmus Petersen and Raúl Pardo},
  year = {2025},
  url = {https://arxiv.org/abs/2509.02022},
  note = {Source identifier: 2509.02022}
}