if(trackingNum != null){ } A Case Study in Extreme Quality Assurance (XQA)