Testing can show the presense of bugs, but not their absence.
-- Dijkstra