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