A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs

Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno. A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. In ICOIN. pages 319, 2001. [doi]

Abstract

Abstract is missing.