5 citations · 22 across the 12 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.PL2018
Enhancing POI testing approach through the use of additional information
Sergio Pérez, Salvador Tamarit
Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach r…
cs.PL2018
Runtime verification in Erlang by using contracts
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez +1
During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce error…
cs.PL2018★ 1 cited
Erlang Code Evolution Control (Use Cases)
David Insa, Sergio Pérez, Josep Silva +1
The main goal of this work is to show how SecEr can be used in different scenarios. Concretely, we demonstrate how a user can run SecEr to obtain reports about the behaviour preser…