Master Thesis Topic

Tentative title: Statistical Debugging of Dynamic/JIT-compiled Programming Languages

Statistical debugging is a technique that uses information from execution traces to find the likely locations of faults. This thesis aims to investigate how this concept can be applied to modern, dynamic programming languages like Julia and Python. What are the hard and easy parts in doing such an implementation? How must the existing techniques for statistical debugging be adapted to work in the context of a dynamic and just-in-time compiled programming languages?

The thesis project will involve

It is not required that you know Julia; you can learn it easily if you have a good programming background.

Keywords: Verification and Validation, Software testing, Debugging, Fault detection

Links / Input