Precise Propagation of Fault-Failure Correlations in Program Flow Graphs

Zhenyu Zhang, W. K. Chan, T. H. Tse, Bo Jiang. Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 58-67, IEEE Computer Society, 2011. [doi]

@inproceedings{ZhangCTJ11,
  title = {Precise Propagation of Fault-Failure Correlations in Program Flow Graphs},
  author = {Zhenyu Zhang and W. K. Chan and T. H. Tse and Bo Jiang},
  year = {2011},
  doi = {10.1109/COMPSAC.2011.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.16},
  researchr = {https://researchr.org/publication/ZhangCTJ11},
  cites = {0},
  citedby = {0},
  pages = {58-67},
  booktitle = {Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4439-7},
}