A strategy used in a Software Development Process, which generates confidence that the program performs as intended.  See NanoRefactorization.