@misc{indiciae8627d08757b6, title = {Determining diagnostic coverage for memory using redundant execution}, author = {Bramley, Richard Gavin and Shirvani, Philip Payman and Saxena, Nirmal Raj}, year = {2021}, url = {https://www.osti.gov/biblio/1860124}, note = {Source identifier: 1860124} }