5 citations · 22 across the 12 of their papers we have counts for
14 papers
Maximal and minimal dynamic Petri net slicing
Marisa Llorens, Javier Oliver, Josep Silva +1
Context: Petri net slicing is a technique to reduce the size of a Petri net to ease the analysis or understanding of the original Petri net. Objective: Presenting two new Petri net…
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…
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…
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…
Erlang Code Evolution Control
David Insa, Sergio Pérez, Josep Silva +1
During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. Thes…
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Guillermo Vigueras, Manuel Carro, Salvador Tamarit +1
The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of…