Dynamic Analysis for Diagnosing Integration Faults