- -

Browsing by Author "Insa Cabrera, David"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Author "Insa Cabrera, David"

Sort by: Order: Results:

  • thumb
    A Generalization and Paradigm-Independent Reformulation of Algorithmic Debugging 
    Insa Cabrera, David; Silva, Josep (Springer, 2015)
    Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step ...
  • thumb
    A Generalized Model for Algorithmic Debugging 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer, 2015-07-13)
    Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward ...
  • thumb
    A New Hybrid Debugging Architecture for Eclipse 
    González, Juan; Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer, 2013)
    [EN] During many years, print debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using ...
  • thumb
    Advanced Techniques for Algorithmic Debugging 
    Insa Cabrera, David (Universitat Politècnica de València, 2012-05-23)
    Algorithmic Debugging (a.k.a. Declarative Debugging) is a semi-automatic debugging technique that allows the programmer to isolate the code where a bug is located without the need to see the source code. To do so, the ...
  • thumb
    Algorithmic debugging generalized 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2018)
    [EN] Algorithmic debugging is a semi-automatic debugging technique that abstracts the operational details of computations, allowing the programmers to debug their code from an abstract point of view. However, its use in ...
  • thumb
    Automatic assessment of Java code 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2018)
    [EN] Assessment is an integral part of education often used to evaluate students, but also to provide them with feedback. It is essential to ensure that assessment is fair, objective, and equally applied to all students. ...
  • thumb
    Automatic detection of webpages that share the same web template 
    Alarte, Julián; Insa Cabrera, David; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (2014-09)
    [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. ...
  • thumb
    Automatic transformation of iterative loops into recursive methods 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2015-02)
    [EN] Context In software engineering, taking a good election between recursion and iteration is essential because their efficiency and maintenance are different. In fact, developers often need to transform iteration ...
  • thumb
    Behaviour Preservation across Code Versions in Erlang 
    Insa Cabrera, David; Pérez-Rubio, Sergio; Silva, Josep; Tamarit Muñoz, Salvador (Hindawi Limited, 2018)
    [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 ...
  • thumb
    Content Extraction based on Hierarchical Relations in DOM Structures 
    López Romero, Sergio; Silva Galiana, Josep Francesc; Insa Cabrera, David (IPN, Centro de Innovación y Desarrollo Tecnológico en Cómputo, 2012-06)
    This article introduces a new approach for content extraction that exploits the hierarchical inter-relations of the elements in a webpage. Content extraction is a technique used to extract from a webpage the main textual ...
  • thumb
    Corrección Semi-Automática de Programas Java 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Editorial Universitat Politècnica de València, 2016-07-19)
    [ES] La evaluación es una parte fundamental de la enseñanza. Permite tanto a los estudiantes como a los profesores medir el grado de éxito obtenido en el proceso de aprendizaje. De hecho, la evaluación no debería usarse ...
  • thumb
    Desarrollo de dos librerías Java: JavaCheckCode y JavaCheckStyle 
    Navarrete Durante, Ana (Universitat Politècnica de València, 2016-09-30)
    [ES] En Java, como en la mayoría de lenguajes de programación, existe el concepto de librería. Una librería Java se puede entender como un conjunto de clases que facilitan operaciones y tareas ofreciendo al programador ...
  • thumb
    Desarrollo de un sistema de corrección automática de programas Haskell 
    Sáez Povedano, Meritxell (Universitat Politècnica de València, 2016-10-20)
    [ES] Este proyecto aborda el diseño e implementación de un sistema de corrección automática de ejercicios realizados en el lenguaje de programación Haskell. Concretamente, el sistema a desarrollar es una extensión del ...
  • Icon
    Diseño e implementación de un depurador declarativo para Java 
    Insa Cabrera, David (Universitat Politècnica de València, 2011-02-07)
  • thumb
    Enhancing declarative debugging with loop expansion and tree compression 
    Insa Cabrera, David; Silva Galiana, Josep Francesc; Tomás Franco, César (Springer Verlag (Germany), 2013)
  • thumb
    Enhancing Trace Debugging with Algorithmic and Omniscient Debugging 
    González, Juan; Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer, 2013)
    During many years, Print Debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using breakpoints ...
  • thumb
    Implementation of an optimal strategy for algorithmic debugging 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Elsevier, 2012-05-05)
    [EN] One of the most automatic debugging techniques is Algorithmic Debugging because it allows us to debug a program without the need to inspect the source code. In order to find a bug, an algorithmic debugger asks questions ...
  • thumb
    Optimal divide and query 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer Verlag (Germany), 2011)
    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 technique has been successfully adapted ...
  • thumb
    Optimization Techniques for Algorithmic Debugging 
    Insa Cabrera, David (Universitat Politècnica de València, 2016-09-01)
    [EN] Nowadays, undetected programming bugs produce a waste of billions of dollars per year to private and public companies and institutions. In spite of this, no significant advances in the debugging area that help developers ...
  • thumb
    Scaling up algorithmic debugging with virtual execution trees 
    Insa Cabrera, David; Silva Galiana, Josep Francesc (Springer Verlag (Germany), 2011)
    Declarative debugging is a powerful debugging technique that has been adapted to practically all programming languages. However, the technique suffers from important scalability problems in both time and memory. With ...