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.
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.
Full text>>
Text in SpringerLink>>