Reversible debugging in ARM's DS-5 tools has been getting a lot of attention and is quite easy to use in Android Native activities and libraries. See UndoDB in action in Eclipse or DS-5 and learn how to use it in Android.
Yes, I am quoted, and yes, I did say that! There's even a photo too: http://photos.prnewswire.com/prn/20130924/PH84962-a
You're right that this means you don't need to know where it's going to go wrong. Once you observe that it has gone wrong, you step back and find out why. We're demoing application rewind in DS-5 at Embedded World in Nürnberg on 25-27 February 2014. Come and take a look, I'll show you.