Bug Taxonomies: Use Them to Generate Better Tests