Quota-constrained test-case prioritization for regression testing of service-centric systems