Multi-objective test case prioritization in highly configurable systems: A case study | Publicación