Using Bug Taxonomy to Design Better Software Tests