if(trackingNum != null){ } Bug Taxonomies: Use Them to Generate Better Tests