David Insa

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