More robust tests in algorithm-based fault-tolerant matrix multiplication | IEEE Conference Publication | IEEE Xplore