[vrighter]

testing cannot prove the absence of bugs. It can only prove that you didn't find any, which is a completely different thing