Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions