1 paper · 1 filter
Tsuyoshi Ohta, Tadanori Mizuno
In this paper, we propose a mathematical framework for automated bug localization. This framework can be briefly summarized as follows. A program execution can be represented as a…