On the Role of Defect Taxonomy Types for Testing Requirements: Results of a Controlled Experiment | IEEE Conference Publication | IEEE Xplore