The Role of Checking for Leaks After the Test Drive