Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Mizuno, Tadanori"'
Autor:
Ohta, Tsuyoshi, Mizuno, Tadanori
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 rooted acyclic directed graph. We define an execution snapshot by a cu
Externí odkaz:
http://arxiv.org/abs/cs/0309055
Publikováno v:
In Computer Communications 2008 31(15):3579-3585
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Shikama, Toshihiro1, Mizuno, Tadanori2
Publikováno v:
Electronics & Communications in Japan, Part 1: Communications. Jul2006, Vol. 89 Issue 7, p24-34. 11p. 6 Diagrams, 4 Charts, 9 Graphs.
Publikováno v:
IPSJ Journal. 47(7):2224-2235
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
AsiaSim 2012 (9783642343834); 2012, p151-162, 12p