Cross-Domain Fault Propagation