Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.

Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang

Browse the full COMPSAC paper archive.