Login / Signup
Ángel Herranz
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Social Welfare
Adverse Selection
Supply Chain
State Machine
Top Venues
Erlang Workshop
FMBC@CAV
</>
Publications
</>
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Clara Benac Earle
,
Ángel Herranz
,
Julio Mariño
Generation and Refinement of Testing Models.
Erlang Workshop
(2023)
Sergio Pérez
,
Luis Eduardo Bueso de Barrio
,
Ignacio Ballesteros
,
Ángel Herranz
,
Julio Mariño
,
Clara Benac Earle
,
Lars-Åke Fredlund
Executable contracts for Elixir.
Erlang Workshop
(2022)
Ignacio Ballesteros
,
Clara Benac Earle
,
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Ángel Herranz
,
Julio Mariño
Automatic Generation of Attacker Contracts in Solidity.
FMBC@CAV
(2022)
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Ángel Herranz
,
Clara Benac Earle
,
Julio Mariño
Makina: a new QuickCheck state machine library.
Erlang Workshop
(2021)