Makina: A QuickCheck state machine library - De Barrio, LEB; Fredlund, LÅ; Herranz, A; Benac-Earle, C; Mariño, J (Journal Of Logical And Algebraic Methods In Programming, 2026)