Hybrid Debugging of Java Programs

Hermanns, Christian; Kuchen, Herbert

doi:10.1007/978-3-642-36177-7_6

Cited by 10 publications

(15 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They are plugins that can be integrated as part of an IDE. Examples of these debuggers are JHyde [12] and HDJ [11], being both of them part of Eclipse. Precisely because they are integrated into a development environment, they have direct access to dynamic information-they can even manipulate the JVM at runtime-that can be used to enhance the debugging sessions.…”

Section: Modern Implementationsmentioning

confidence: 99%

“…This technique has experienced a significant advance in the last decade. Concretely, new techniques have been proposed to improve performance [9,15], to improve scalability [11], to improve interaction with the user [6], and to improve GUIs [12,13]. The maturity of these techniques has eventually led to the integration of algorithmic debuggers into sophisticated programming environments.…”

Section: Introductionmentioning

confidence: 99%

“…The maturity of these techniques has eventually led to the integration of algorithmic debuggers into sophisticated programming environments. Two interesting cases are [12] and [11], which combine AD with the standard debugging perspective of Eclipse [1]. The main advantage of AD is its high level of abstraction.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Generalized Model for Algorithmic Debugging

Insa

Silva

2015

Logic-Based Program Synthesis and Transformation

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: Modern Implementationsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Generalized Model for Algorithmic Debugging

Insa

Silva

2015

Logic-Based Program Synthesis and Transformation

View full text Add to dashboard Cite

show abstract

“…To the best of our knowledge, JHyde [43] is the only previous technique that combines TrD, OD and AD. Unfortunately, we have not been able to empirically evaluate this tool (it is not publicly accessible); but considering its architecture, it is highly probable that it suffers from the same scalability problems as any other omniscient debugger.…”

Section: Related Workmentioning

confidence: 99%

“…They are plugins that can be integrated as part of an IDE. Examples of these debuggers are JHyde [43] and HDJ [37], being both of them part of Eclipse. Precisely because they are integrated into a development environment, they have direct access to dynamic information-they can even manipulate the JVM at runtime-that can be used to enhance the debugging sessions.…”

Section: Modern Implementationsmentioning

confidence: 99%

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

A New Hybrid Debugging Architecture for Eclipse

González

Insa

Silva

2014

Logic-Based Program Synthesis and Transformation

View full text Add to dashboard Cite

Abstract. During many years, Print Debugging has been the most used method for debugging. Nowadays, however, industrial languages come with a trace debugger that allows programmers to trace computations step by step using breakpoints and state viewers. Almost all modern programming environments include a trace debugger that allows us to inspect the state of a computation in any given point. Nevertheless, this debugging method has been criticized for being completely manual and time-consuming. Other debugging techniques have appeared to solve some of the problems of Trace Debugging, but they suffer from other problems such as scalability. In this work we present a new hybrid debugging technique. It is based on a combination of Trace Debugging, Algorithmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique. We describe the architecture of our hybrid debugger and our implementation that has been integrated into Eclipse as a plugin.

show abstract

Hybrid Debugging of Java Programs

Cited by 10 publications

References 9 publications

A Generalized Model for Algorithmic Debugging

A Generalized Model for Algorithmic Debugging

Optimization Techniques for Algorithmic Debugging

A New Hybrid Debugging Architecture for Eclipse

Contact Info

Product

Resources

About