Testing reveals the presence of bugs not the absense