David Insa

According to our database, David Insa authored at least 34 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Semiautomatic generation and assessment of Java exercises in engineering education.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Comput. Appl. Eng. Educ., 2021

2018

Behaviour Preservation across Code Versions in Erlang.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Sci. Program., 2018

Algorithmic debugging generalized.

David Insa, Josep Silva

J. Log. Algebraic Methods Program., 2018

Erlang Code Evolution Control (Use Cases).

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

CoRR, 2018

Automatic assessment of Java code.

David Insa, Josep Silva

Comput. Lang. Syst. Struct., 2018

Main Content Extraction from Heterogeneous Webpages.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

2017

Optimization Techniques for Algorithmic Debugging.

David Insa, Josep Silva

Bull. EATCS, 2017

Webpage Menu Detection Based on DOM.

Julián Alarte, David Insa, Josep Silva

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Computing super reduced program slices by composing slicing techniques.

David Insa, Sergio Pérez, Josep Silva

Proceedings of the Symposium on Applied Computing, 2017

Erlang Code Evolution Control.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

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

Proceedings of the 16th International Conference on Information Technology Based Higher Education and Training, 2017

2016

Where You Sit MattersHow Classroom Seating Might Affect Marks.

David Insa, Josep Silva, Salvador Tamarit

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

Computer assisted self-assessment of programming code: A report on university students experience and opinion.

David Insa, Josep Silva

Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016

2015

Automatic transformation of iterative loops into recursive methods.

David Insa, Josep Silva

Inf. Softw. Technol., 2015

TeMex: The Web Template Extractor.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

Proceedings of the 24th International Conference on World Wide Web Companion, 2015

A Generalized Model for Algorithmic Debugging.

David Insa, Josep Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises.

David Insa, Josep Silva

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Site-Level Web Template Extraction Based on DOM Analysis.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

Proceedings of the Perspectives of System Informatics, 2015

2014

Transforming while/do/for/foreach-Loops into Recursive Methods.

David Insa, Josep Silva

CoRR, 2014

Web Template Extraction Based on Hyperlink Analysis.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014

A Benchmark Suite for Template Detection and Content Extraction.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

CoRR, 2014

Automatic Detection of Webpages that Share the Same Web Template.

Julián Alarte, David Insa, Josep Silva, Salvador Tamarit

Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014

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

Speeding Up Algorithmic Debugging Using Balanced Execution Trees.

David Insa, Josep Silva, Adrián Riesco

Proceedings of the Tests and Proofs - 7th International Conference, 2013

A New Hybrid Debugging Architecture for Eclipse.

Juan González, David Insa, Josep Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

Content Extraction based on Hierarchical Relations in DOM Structures.

Sergio López, Josep Silva, David Insa

Polibits, 2012

Using the DOM Tree for Content Extraction

Sergio López, Josep Silva, David Insa

Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012

Enhancing Declarative Debugging with Loop Expansion and Tree Compression.

David Insa, Josep Silva, César Tomás

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Implementation of an Optimal Strategy for Algorithmic Debugging.

David Insa, Josep Silva

Proceedings of the XI Spanish Conference on Programming and Languages, 2011

Optimal Divide and Query (extended version)

David Insa, Josep Silva

CoRR, 2011

An optimal strategy for algorithmic debugging.

David Insa, Josep Silva

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Optimal Divide and Query.

David Insa, Josep Silva

Proceedings of the Progress in Artificial Intelligence, 2011

2010

Scaling Up Algorithmic Debugging with Virtual Execution Trees.

David Insa, Josep Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

An algorithmic debugger for Java.

David Insa, Josep Silva

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010