Multi-objective test prioritization via a genetic algorithm