65ca8ac4303a635c.tex
1: \begin{abstract}
2: %When working on fault localization, it often occurs that developers have a working version and a faulty one. 
3: %There is a challenge in supporting developers to leverage such dual information. 
4: %This is difficult because the two executions are often not just diverging at the exact place of the bug. 
5: %A bug may appear far from its cause. There is a need for better debugging support for 
6: %the navigation, analysis of potentially diverging executions. 
7: %In this article we propose Echo-debugging, a support for debugging different executions.
8: %Our approach proposes low-level API to manipulate two or more executions at once and also 
9: %support for diverge and convergence of executions. 
10: As applications get developed, bugs inevitably get introduced.
11: Often, it is unclear why a given code change introduced a given bug.
12: To find this causal relation and more effectively debug, developers can leverage the existence of a previous version of the code, without the bug.
13: But traditional debugging tools are not designed for this type of work, making this operation tedious.
14: In this article, we propose as exploratory work the echo-debugger, a tool to debug two different executions in parallel, and the  \emph{Convergence Divergence Mapping} (CDM) algorithm to locate all the control-flow divergences and convergences of these executions. In this exploratory work, we present the architecture of the tool and a scenario to solve a non trivial bug.
15: \end{abstract}
16: