Priority-Based Software Testing