Makina: a QuickCheck state machine library

DOI10.1016/J.JLAMP.2025.101096MaRDI QIDQ6879433zbMATH OpenFDO

Authors Luis Eduardo Bueso de Barrio, Lars-åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño

Publication date 30 December 2025

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

model-based testingstate machinesmodular specificationsproperty-based testingElixir

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Makina: a QuickCheck state machine library

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879433)