Automatic Generation of Attacker Contracts in Solidity. - Ignacio Ballesteros; Clara Benac Earle; Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (FMBC@CAV, 2022)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Haskell Based Spreadsheets. - Ignacio Ballesteros; Luis Eduardo Bueso de Barrio; Julio Mariño (PADL, 2025)

Generation of algebraic data type values using evolutionary algorithms. - Ignacio Ballesteros; Clara Benac Earle; Julio Mariño; Lars-Åke Fredlund; Ángel Herranz (J. Log. Algebraic Methods Program., 2025)