Herrero Cuco, Carlos; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Association for Computing Machinery (ACM), 2013-07-01)
This poster presents ongoing work that studies the influence
of classmates over students’ grades. We want to analyze different
students habits and empirically quantify how they in-
fluence their academic performance. ...
Tamarit Muñoz, Salvador(Universitat Politècnica de València, 2013-09-02)
Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad,
tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas ...
[EN] Template extraction is the process of isolating the template of a given webpage. It is widely used in
several disciplines, including webpages development, content extraction, block detection, and webpages
indexing. ...
[EN] Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point (the slicing criterion). Computing minimal slices is undecidable in ...
[EN] In any alive and nontrivial program, the source code naturally evolves along the lifecycle for many reasons such as the implementation of new functionality, the optimization of a bottleneck, or the refactoring of an ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador(Elsevier, 2016-04)
[EN] Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador(Università di Siena, 2015)
Dynamic slicing is a technique to extract the part of the
program (called slice) that influences or is influenced, in a particular
execution, by a given point of interest in the source code (called slicing
criterion). ...
[EN] 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 receives as input a set of relations ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Elsevier, 2012)
[EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Springer Verlag (Germany), 2011)
The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
Nowadays, many dynamic languages come with (some sort of) type
inference in order to detect type errors statically. Often, in order
not to unnecessarily reject programs which are allowed under a dynamic
type discipline, ...
Miguel Benítez, José(Universitat Politècnica de València, 2020-10-14)
[ES] Muchas empresas suelen recibir una gran cantidad de correos electrónicos al día. Estos correos deben ser correctamente gestionados por lo que suelen ser tratados por un
equipo de personas que identifican el servicio ...
Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador(Springer, 2020-07-10)
[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP ...
Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador(Institute of Electrical and Electronics Engineers, 2021-06-01)
[EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic ...
[EN] During its lifetime, a program regularly undergoes changes
that seek to improve its functionality or efficiency. However, such modifications may also introduce new errors. In this work, we use the designby-contract ...
Tamarit Muñoz, Salvador; Silva Galiana, Josep Francesc; Llorens Agost, María Luisa; Oliver Villarroya, Francisco Javier(Universitat Politècnica de València, 2010-06-07)
The CSP language allows the specification and verification of
complex concurrent systems. Many analyses for CSP exist that have been
successfully applied in different industrial projects. However, the cost of
the analyses ...
[EN] Continuous assessment is essential in education. It should be an integral part of education that provides immediate feedback to students. Unfortunately, the assessment of programming source code is still a hand-operated ...
One of the main development resources for website engineers
are Web templates. Templates allow them to increase productivity by
plugin content into already formatted and prepared pagelets. For the
final user templates ...