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)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2025.101096

zbMATH Keywords

Elixirmodel-based testingmodular specificationsproperty-based testingstate machines

Mathematics Subject Classification ID

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

Cites work

• A reversible semantics for Erlang
• Algebra and number theory 2025
• Executable contracts for Elixir
• scientific article; zbMATH DE number 3907750 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• Process algebra for synchronous communication
• Statecharts: a visual formalism for complex systems

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)