- -

Implementation of an optimal strategy for algorithmic debugging

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Implementation of an optimal strategy for algorithmic debugging

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: prole2011_submiss ...
Tamaño: 644.6Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Implementation of ...
Tamaño: 458.3Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Insa Cabrera, David es_ES
dc.contributor.author Silva Galiana, Josep Francesc es_ES
dc.date.accessioned 2014-02-19T11:50:11Z
dc.date.issued 2012-05-05
dc.identifier.issn 1571-0661
dc.identifier.uri http://hdl.handle.net/10251/35769
dc.description.abstract [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 to the programmer about the correctness of subcomputations in an execution. Reducing the number and complexity of these questions is an old objective in this field. Recently, an strategy for algorithmic debuggers that minimizes the number of questions has been released. This new strategy is called Optimal Divide and Query and, provided that all questions can be answered, it finds any bug in the source code with a minimum set of questions. In this work we discuss the implementation of such a strategy in different algorithmic debugging architectures. © 2011 Elsevier B.V. All rights reserved. es_ES
dc.description.sponsorship This work has been partially supported by the Spanish Ministerio de Ciencia e Innovación (Secretar´ıa de Estado de Investigaci´on) under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052
dc.format.extent 14 es_ES
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Electronic Notes in Theoretical Computer Science es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Algorithmic Debugging es_ES
dc.subject Debugging es_ES
dc.subject Debuggers es_ES
dc.subject Optimal strategies es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Implementation of an optimal strategy for algorithmic debugging es_ES
dc.type Artículo es_ES
dc.embargo.lift 10000-01-01
dc.embargo.terms forever es_ES
dc.identifier.doi 10.1016/j.entcs.2011.12.005
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Insa Cabrera, D.; Silva Galiana, JF. (2012). Implementation of an optimal strategy for algorithmic debugging. Electronic Notes in Theoretical Computer Science. 282:47-60. https://doi.org/10.1016/j.entcs.2011.12.005 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion http://dx.doi.org/10.1016/j.entcs.2011.12.005 es_ES
dc.description.upvformatpinicio 47 es_ES
dc.description.upvformatpfin 60 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 282 es_ES
dc.relation.senia 212290
dc.contributor.funder Ministerio de Ciencia e Innovación
dc.contributor.funder Generalitat Valenciana


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem