Removing Requirement Defects and Automating Test