we have a PhD position opening at Lille, France.
See all details here:
Summary of the research proposal:
Application development inevitably introduces bugs. Often, it's not
clear why a code change introduced a bug. To find this cause-and-effect
relationship and debug more efficiently, developers can sometimes rely
on the existence of a previous version of the code without the bug. Yet,
traditional debugging tools are not designed for this kind of work,
making it a tedious operation.
In this thesis, we propose an approach that enables us to understand and
to debug an application in a LIVE SYSTEM, such as Pharo or Python, by
comparing two executions with different results: one execution succeeds
and the other fails.
Based on this hypothesis, we propose in this thesis to answer the
To meet these challenges, in addition to a precise state-of-the-art on
debugging techniques, the PhD student will study concrete cases of
program execution and propose a tool to be integrated into Pharo.