TY  - RPRT
TI  - Using redundant transactions to verify the correctness of program code execution
AU  - Gurumurthi, Sudhanva
AU  - Sridharan, Vilas K.
PY  - 2016
UR  - https://www.osti.gov/biblio/1531945
ID  - 1531945
ER  -