I've had large success by treating the bug as a binary search problem as soon as I identify an initial state that's correct and a terminal state that's incorrec

I've had large success by treating the bug as a binary search problem as soon as I identify an initial state that's correct and a terminal state that's incorrect. It seems like a lot of work, but that's underestimating just how fast binary searches are. Depends of course on the nature of the bug whether it's a good strategy.