An algorithmic debugger for Java. - David Insa; Josep Silva (ICSM, 2010)

Scaling Up Algorithmic Debugging with Virtual Execution Trees. - David Insa; Josep Silva (LOPSTR, 2010)

Optimal Divide and Query. - David Insa; Josep Silva (EPIA, 2011)

An optimal strategy for algorithmic debugging. - David Insa; Josep Silva (ASE, 2011)

Optimal Divide and Query (extended version) - David Insa; Josep Silva (CoRR, 2011)

Implementation of an Optimal Strategy for Algorithmic Debugging. - David Insa; Josep Silva (PROLE, 2011)

Enhancing Declarative Debugging with Loop Expansion and Tree Compression. - David Insa; Josep Silva; César Tomás (LOPSTR, 2012)

Using the DOM Tree for Content Extraction - Sergio López; Josep Silva; David Insa (WWV, 2012)

Content Extraction based on Hierarchical Relations in DOM Structures. - Sergio López; Josep Silva; David Insa (Polibits, 2012)

A New Hybrid Debugging Architecture for Eclipse. - Juan González; David Insa; Josep Silva (LOPSTR, 2013)

Speeding Up Algorithmic Debugging Using Balanced Execution Trees. - David Insa; Josep Silva; Adrián Riesco 001 (TAP@STAF, 2013)

Using the words/leafs ratio in the DOM tree for content extraction. - David Insa; Josep Silva; Salvador Tamarit (J. Log. Algebraic Methods Program., 2013)

Automatic Detection of Webpages that Share the Same Web Template. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WWV, 2014)

A Benchmark Suite for Template Detection and Content Extraction. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (CoRR, 2014)

Web Template Extraction Based on Hyperlink Analysis. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (PROLE, 2014)

Transforming while/do/for/foreach-Loops into Recursive Methods. - David Insa; Josep Silva (CoRR, 2014)

Site-Level Web Template Extraction Based on DOM Analysis. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (Ershov Memorial Conference, 2015)

Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises. - David Insa; Josep Silva (ITiCSE, 2015)

A Generalized Model for Algorithmic Debugging. - David Insa; Josep Silva (LOPSTR, 2015)

TeMex: The Web Template Extractor. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WWW (Companion Volume), 2015)

Automatic transformation of iterative loops into recursive methods. - David Insa; Josep Silva (Inf. Softw. Technol., 2015)

Computer assisted self-assessment of programming code: A report on university students experience and opinion. - David Insa; Josep Silva (ITHET, 2016)

Where You Sit MattersHow Classroom Seating Might Affect Marks. - David Insa; Josep Silva; Salvador Tamarit (ITiCSE, 2016)

In what order should i correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises. - Salvador España Boquera; David Insa; Josep Silva; Salvador Tamarit (ITHET, 2017)

Erlang Code Evolution Control. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (LOPSTR, 2017)

Computing super reduced program slices by composing slicing techniques. - David Insa; Sergio Pérez 001; Josep Silva (SAC, 2017)

Webpage Menu Detection Based on DOM. - Julián Alarte; David Insa; Josep Silva (SOFSEM, 2017)

Optimization Techniques for Algorithmic Debugging. - David Insa; Josep Silva (Bull. EATCS, 2017)

Main Content Extraction from Heterogeneous Webpages. - Julián Alarte; David Insa; Josep Silva; Salvador Tamarit (WISE (1), 2018)

Automatic assessment of Java code. - David Insa; Josep Silva (Comput. Lang. Syst. Struct., 2018)

Erlang Code Evolution Control (Use Cases). - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (CoRR, 2018)

Algorithmic debugging generalized. - David Insa; Josep Silva (J. Log. Algebraic Methods Program., 2018)

Behaviour Preservation across Code Versions in Erlang. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Sci. Program., 2018)

Semiautomatic generation and assessment of Java exercises in engineering education. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Comput. Appl. Eng. Educ., 2021)