Author: "Julio Mariño" / Journal: erlang workshop - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Julio Mariño"' showing total 4 results

Start Over Author "Julio Mariño" Journal erlang workshop

4 results on '"Julio Mariño"'

1. Generation and Refinement of Testing Models.

Author: Luis Eduardo Bueso de Barrio, Lars-åke Fredlund, Clara Benac Earle, ángel Herranz, and Julio Mariño
Published: 2023
Full Text: View/download PDF

2. Executable contracts for Elixir.

Author: Sergio Pérez 0001, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, ángel Herranz, Julio Mariño, Clara Benac Earle, and Lars-åke Fredlund
Published: 2022
Full Text: View/download PDF

3. Makina: a new QuickCheck state machine library.

Author: Luis Eduardo Bueso de Barrio, Lars-åke Fredlund, ángel Herranz, Clara Benac Earle, and Julio Mariño
Published: 2021
Full Text: View/download PDF

4. Jsongen: a quickcheck based library for testing JSON web services.

Author: Clara Benac Earle, Lars-åke Fredlund, ángel Herranz-Nieva, and Julio Mariño
Published: 2014
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results