| |
| 2003 | ||
|---|---|---|
| 3 | EE | Tsuyoshi Ohta, Tadanori Mizuno: A mathematical framework for automated bug localization CoRR cs.SE/0309055: (2003) |
| 2001 | ||
| 2 | EE | Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno: A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. ICOIN 2001: 319- |
| 1999 | ||
| 1 | EE | Tsuyoshi Ohta, Tadanori Mizuno: Towards an Algorithmic Debugging for Distributed Programs. APSEC 1999: 426-433 |
| 1 | Takahiro Kimata | [2] |
| 2 | Hideto Kinoshita | [2] |
| 3 | Tadanori Mizuno | [1] [2] [3] |