Using Machine Learning to Identify Methods Violating Immutability. - Tamás Borbély; Árpád János Wild; Balázs Pintér; Tibor Gregorics (SAI (2), 2021)