Quota-constrained test-case prioritization for regression testing of service-centric systems | IEEE Conference Publication | IEEE Xplore