Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Luis Eduardo Bueso de Barrio"'
Autor:
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
Publikováno v:
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ec740b721f53f1049b51d55ffefd337
https://doi.org/10.1145/3546186.3549930
https://doi.org/10.1145/3546186.3549930
Autor:
Luis Eduardo Bueso de Barrio, Clara Benac Earle, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund
Publikováno v:
Erlang Workshop
This article presents Makina, a new library and a domain specific language for writing property-based testing models for stateful programs. Models written in the new domain specific language are, using Elixir macros, rewritten into normal QuickCheck
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24aad1a7a33a5ac1b2b87b7e696dd32a
https://doi.org/10.1145/3471871.3472964
https://doi.org/10.1145/3471871.3472964