Meng Zhang, Anita Lungu, Daniel J. Sorin. Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. In Dimitris Gizopoulos, Susumu Horiguchi, Spyros Tragoudas, Mohammad Tehranipoor, editors, 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2009, 7-9 October 2009, Chicago, Illinois, USA. pages 277-285, IEEE Computer Society, 2009. [doi]
@inproceedings{ZhangLS09-1,
title = {Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms},
author = {Meng Zhang and Anita Lungu and Daniel J. Sorin},
year = {2009},
doi = {10.1109/DFT.2009.23},
url = {http://doi.ieeecomputersociety.org/10.1109/DFT.2009.23},
tags = {testing},
researchr = {https://researchr.org/publication/ZhangLS09-1},
cites = {0},
citedby = {0},
pages = {277-285},
booktitle = {24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2009, 7-9 October 2009, Chicago, Illinois, USA},
editor = {Dimitris Gizopoulos and Susumu Horiguchi and Spyros Tragoudas and Mohammad Tehranipoor},
publisher = {IEEE Computer Society},
}