Foundations for Constrained Debugging Techniques: Finding software faults in constrained environments with sound out-of-place and multiverse debugging techniques