MaTSa

MaTSa: Race Detection in Java

Parallel programs are prone to data races, which are concurrency bugs that are difficult to track and reproduce. Various attempts have …

Alexandros Emmanouil Antonakakis, Iacovos G. Kolokasis, Foivos S. Zakkak, Angelos Bilas, Polyvios Pratikakis