Methods and Tools for Focusing and Prioritizing the Testing Effort