New criteria for test case prioritization for software product lines. A replication and extension study | Synapse