Shakirov R.N. The use of error detection and compensation techniques for testing the integer class cBigNumber // Programming and Computer Software. 2010. V. 36, N 1. P. 36-47.
WoS  in Russian

The use of automatic error detection and compensation techniques for testing the class cBigNumber written in C++ is discussed; this class is designed for performing operations on unbounded integer numbers. It implements the standard operations of C++, square rooting, binary exponentiation, and Miller-Rabin primality test. The class is tested in the automatic mode. The reliability of computations is ensured using the built-in error control and compensation tools.

Text in SpringerLink>>