Makina: A QuickCheck state machine library

This article presents Makina, a library written in the Elixir programming language, and a domain specific language for writing property-based testing models for stateful programs. Models written in the domain specific language are translated into standard QuickCheck state machines. Our main goals wi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 148; S. 101096
Hauptverfasser:	Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Benac-Earle, Clara, Mariño, Julio
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.01.2026
Schlagworte:	Elixir Model-based testing Modular specifications Property-based testing State machines Property-based testing Model-based testing Modular specifications State machines Elixir
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!