State of the Practice in Algorithmic Debugging

Cheda, Diego; Silva, Josep

doi:10.1016/j.entcs.2009.07.015

Cited by 8 publications

(11 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper somehow summarizes and criticizes our own work to make a step forward. We claim that almost all current algorithmic debuggers-at least all that we know, including the most extended, which we compared in [7], and including our own implementationshave fundamental problems that were somehow inherited from the original formulation of AD [27].…”

Section: Some Problems Identified In Current Algorithmic Debuggersmentioning

confidence: 99%

A Generalized Model for Algorithmic Debugging

Insa

Silva

2015

Logic-Based Program Synthesis and Transformation

Self Cite

View full text Add to dashboard Cite

Abstract. Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward compared with the state of the theory. In particular, we argue that novel techniques for algorithmic debugging cannot be supported by the standard internal data structures, such as the Execution Tree (ET), used in this technique, and hence a generalization of the standard definitions and algorithms is needed. We identify two specific problems of the standard formulation and implementations of algorithmic debugging, and we propose a reformulation to solve both problems. The reformulation has been done in a paradigm-independent manner to make it useful and reusable in different programming languages.

show abstract

Section: Some Problems Identified In Current Algorithmic Debuggersmentioning

confidence: 99%

A Generalized Model for Algorithmic Debugging

Insa

Silva

2015

Logic-Based Program Synthesis and Transformation

Self Cite

View full text Add to dashboard Cite

show abstract

“…In these cases the user can select a node whose subtree already has a wrong node. The algorithm of the standard architecture is not prepared for METs with multiple wrong nodes, but this situation can be easily handled adding Lines (15) to (19) in Frame 3 between Lines (14) and (15) of the selectNode method in Frame 1. These lines make the algorithm to restart the search in the subtree whose root is already marked as wrong.…”

Section: Static Met Architecturementioning

confidence: 99%

“…Otherwise, it projects the part of a chain whose weight is as close as possible to half the weight of the root (lines [17][18][19][20][21][22][23][24][25][26]. This allows for pruning half of the subtree when asking a question associated with a projection node.…”

Section: Algorithm 8 Shrink Efmentioning

confidence: 99%

“…The same happens with the code generated for break /continue/return. We can see an example in Algorithm 16 where the substr test method directly performs the next iteration after checking that control != null (lines [18][19][20][21]. The transformation can take this decision by analyzing the substr test loop method where control != null can only occur when the continue statement has been executed.…”

Section: Avoid the External Block When Possiblementioning

confidence: 99%

“…We claim that almost all current algorithmic debuggers-at least all that we know, including the most extended, which we compared in [19], and including our own implementations-have fundamental problems that were somehow inherited from the original formulation of AD [92].…”

Section: Some Problems Identified In Current Algorithmic Debuggersmentioning

confidence: 99%

See 2 more Smart Citations

Optimization Techniques for Algorithmic Debugging

Cabrera¹

View full text Add to dashboard Cite

To mum and dad, because they always went out of their way to protect and guide us. AgradecimientosCuando terminé la carrera tomé una decisión que cambiaría el rumbo de mi vida, decidí convertirme en doctor. Mucho tiempo ha pasado desde entonces, y no han sido pocas las piedras que me he encontrado por el camino: algunas noches sin dormir, laberintos de los que no podía salir, trabajos que no sabía cómo completar, y montañas y montañas de tareas que nunca se acababan. En definitiva, no sabía dónde me estaba metiendo. A pesar de todo ello, esta ha sido una gran etapa de mi vida que si volviera atrás volvería a emprender, donde he aprendido mucho y he madurado como persona. No puedo decir que lo haya conseguido solo, todo esto se lo debo en gran medida a mucha gente que ha ayudado a que ahora pueda decir con orgullo soy doctor.A las primeras personas a las que quiero agradecérselo es a aquellas que siempre han estado ahí, a mis hermanos Javier y Natalia. Con quienes siempre he podido contar, y quienes me han ayudado cuando he tenido algún problema. Quienes me han sabido dar los mejores consejos y han creído en que podía llegar a lo más alto. Habéis sido un pilar fundamental en mi vida y os agradezco mucho todo el apoyo incondicional que me habéis dado.Una especial mención a quienes me dieron la vida e hicieron que pudiera vivir en este mundo, a mis padres. Disteis lo mejor de vosotros para aguantarme y soportarme, pero también para enseñarme, protegerme y guiarme a lo largo de toda mi vida. Siempre habéis procurado lo mejor para nosotros tres, nos habéis dado buenos consejos, pusisteis vuestro cuerpo y alma en que no nos faltara de nada y en que nos fuera lo mejor posible. Por eso y mucho más, este libro va dedicado a vosotros.Gracias también a todas aquellas personas que no han tenido un impacto directo en esta etapa de mi vida, pero que aún así han estado ahí durante todo este tiempo. Me refiero a mi familia y amigos. Siempre me habéis apoyado, os habéis preocupado por cómo iban transcurriendo estos años y no habéis dudado en echarme una mano cuando ha sido necesario.Si he realizado este doctorado ha sido gracias a quien me ha aceptado en su grupo de investigación. Alguien que ha sabido escuchar mis inquietudes y necesidades. Quien ha sabido gestionar los recursos de los que disponíamos para que nunca nos faltase nada. Gracias Germán por hacer todo lo posible para que todos nos sintiéramos parte de esta pequeña familia.Quería hacer especial mención a una gran persona. Alguien que siempre hizo lo que estuviera en su mano para enseñarme y guiarme en el mundo de la investigación. Sin su ayuda, hoy en día no sería el mismo. Una persona que, por mucho que me duela reconocerlo, es una fuente de inspiración y sabiduría, a la vez que un gran jefe y amigo. Josep (iusep, iuseppe, iussepe, etc.), quería darte las gracias por todos estos años que me has dedicado. Me has enseñado a trabajar en equipo, a esforzarme siempre un poco más y a no rendirme. Durante estosúltimos años no solo me has formado como investigador, sino tam...

show abstract

Implementation of an Optimal Strategy for Algorithmic Debugging

Insa

Silva

2012

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

State of the Practice in Algorithmic Debugging

Cited by 8 publications

References 2 publications

A Generalized Model for Algorithmic Debugging

A Generalized Model for Algorithmic Debugging

Optimization Techniques for Algorithmic Debugging

Implementation of an Optimal Strategy for Algorithmic Debugging

Contact Info

Product

Resources

About