Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Scalable Thread-Safety Analysis of Java Classes with CodeQL
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen +1
In object-oriented languages software developers rely on thread-safe classes to implement concurrent applications. However, determining whether a class is thread-safe is a challeng…
cs.SE2025
ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
Testing probabilistic programs is non-trivial due to their stochastic nature. Given an input, the program may produce different outcomes depending on the underlying stochastic choi…