research
∙
04/07/2021
Maximal and minimal dynamic Petri net slicing
Context: Petri net slicing is a technique to reduce the size of a Petri ...
share
research
∙
08/23/2018
Enhancing POI testing approach through the use of additional information
Recently, a new approach to perform regression testing has been defined:...
research
∙
08/23/2018
Runtime verification in Erlang by using contracts
During its lifetime, a program suffers several changes that seek to impr...
research
∙
02/12/2018
Erlang Code Evolution Control (Use Cases)
The main goal of this work is to show how SecEr can be used in different...
research
∙
09/15/2017
Erlang Code Evolution Control
During the software lifecycle, a program can evolve several times for di...
research
∙
01/25/2017