An approach to high-level debugging of distributed systems

• 1 January 1983
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 18  (8) , 107-111
• https://doi.org/10.1145/1006147.1006170

Abstract

Keywords

• DISTRIBUTED SYSTEM
• TESTING
• STATIC ANALYSIS