“Testing can only prove the presence of bugs, not their absence.”