Methodology and tools for distributed debugging