if(trackingNum != null){ } Debugging: Creative Techniques and Tools for Software Repair