On the economics of requirements-based test case prioritization | Synapse