Program testing can be used to show the presence of bugs, but never to show their absence.
Inside every large program, there is a small program trying to get out.