Test-case prioritization: achievements and challenges