output
20022008
most citedSolar neutrino measurements in Super-Kamiokande-II

445 citations

researchers with a paper here
collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2003

A mathematical framework for automated bug localization

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…