Finding resume and restart errors in Android applications