Modelling Concurrency Bugs Using Machine Learning. - Teodor Rares Begu (CoRR, 2023)