- -

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 completo del ítem

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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/35769

Ficheros en el ítem

Thumbnail
Nombre: prole2011_submiss ...
Tamaño: 644.6Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Implementation of ...
Tamaño: 458.3Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Implementation of an optimal strategy for algorithmic debugging
Autor: Insa Cabrera, David Silva Galiana, Josep Francesc
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[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 ...[+]
Palabras clave: Algorithmic Debugging , Debugging , Debuggers , Optimal strategies
Derechos de uso: Reserva de todos los derechos
Fuente:
Electronic Notes in Theoretical Computer Science. (issn: 1571-0661 )
DOI: 10.1016/j.entcs.2011.12.005
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.entcs.2011.12.005
Código del Proyecto:
info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/
Agradecimientos:
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[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem