12 citations · 17 across the 3 of their papers we have counts for
6 papers
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
Josep Silva
This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program…
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…
Using the DOM Tree for Content Extraction
Sergio López, Josep Silva, David Insa
The main information of a webpage is usually mixed between menus, advertisements, panels, and other not necessarily related information; and it is often difficult to automatically…
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems
Josep Silva, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012).…
Optimal Divide and Query (extended version)
David Insa, Josep Silva
Algorithmic debugging is a semi-automatic debugging technique that allows the programmer to precisely identify the location of bugs without the need to inspect the source code. The…