David Insa

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 19

Top Topics

Automatic Assessment

Content Extraction

University Students

Top Venues

J. Log. Algebraic Methods Program.

Publications

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Semiautomatic generation and assessment of Java exercises in engineering education. Comput. Appl. Eng. Educ. 29 (5) (2021)
David Insa, Josep Silva
Automatic assessment of Java code. Comput. Lang. Syst. Struct. 53 (2018)
David Insa, Josep Silva
Algorithmic debugging generalized. J. Log. Algebraic Methods Program. 97 (2018)
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Behaviour Preservation across Code Versions in Erlang. Sci. Program. 2018 (2018)
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Erlang Code Evolution Control (Use Cases). CoRR (2018)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Main Content Extraction from Heterogeneous Webpages. WISE (1) (2018)
David Insa, Sergio Pérez, Josep Silva
Computing super reduced program slices by composing slicing techniques. SAC (2017)
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Erlang Code Evolution Control. CoRR (2017)
Salvador España, David Insa, Josep Silva, Salvador Tamarit
In what order should i correct the exercises? Determining the evaluation order for the automatic assessment of programming exercises. ITHET (2017)
David Insa, Josep Silva
Optimization Techniques for Algorithmic Debugging. Bull. EATCS 122 (2017)
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
Erlang Code Evolution Control. LOPSTR (2017)
Julián Alarte, David Insa, Josep Silva
Webpage Menu Detection Based on DOM. SOFSEM (2017)
David Insa, Josep Silva, Salvador Tamarit
Where You Sit MattersHow Classroom Seating Might Affect Marks. ITiCSE (2016)
David Insa, Josep Silva
Computer assisted self-assessment of programming code: A report on university students experience and opinion. ITHET (2016)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
TeMex: The Web Template Extractor. WWW (Companion Volume) (2015)
David Insa, Josep Silva
Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises. ITiCSE (2015)
David Insa, Josep Silva
A Generalized Model for Algorithmic Debugging. LOPSTR (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Site-Level Web Template Extraction Based on DOM Analysis. Ershov Memorial Conference (2015)
David Insa, Josep Silva
Automatic transformation of iterative loops into recursive methods. Inf. Softw. Technol. 58 (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Web Template Extraction Based on Hyperlink Analysis. PROLE (2014)
David Insa, Josep Silva
Transforming while/do/for/foreach-Loops into Recursive Methods. CoRR (2014)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Automatic Detection of Webpages that Share the Same Web Template. WWV (2014)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
A Benchmark Suite for Template Detection and Content Extraction. CoRR (2014)
David Insa, Josep Silva, Salvador Tamarit
Using the words/leafs ratio in the DOM tree for content extraction. J. Log. Algebraic Methods Program. 82 (8) (2013)
David Insa, Josep Silva, Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. TAP@STAF (2013)
Juan González, David Insa, Josep Silva
A New Hybrid Debugging Architecture for Eclipse. LOPSTR (2013)
Sergio López, Josep Silva, David Insa
Content Extraction based on Hierarchical Relations in DOM Structures. Polibits 45 (2012)
David Insa, Josep Silva, César Tomás
Enhancing Declarative Debugging with Loop Expansion and Tree Compression. LOPSTR (2012)
Sergio López, Josep Silva, David Insa
Using the DOM Tree for Content Extraction WWV (2012)
David Insa, Josep Silva
Implementation of an Optimal Strategy for Algorithmic Debugging. Electron. Notes Theor. Comput. Sci. 282 (2012)
David Insa, Josep Silva
Optimal Divide and Query (extended version) CoRR (2011)
David Insa, Josep Silva
Optimal Divide and Query. EPIA (2011)
David Insa, Josep Silva
An optimal strategy for algorithmic debugging. ASE (2011)
David Insa, Josep Silva
Scaling Up Algorithmic Debugging with Virtual Execution Trees. LOPSTR (2010)
David Insa, Josep Silva
An algorithmic debugger for Java. ICSM (2010)