"Targeted and Depth-first Exploration for Systematic Testing of Android Apps", T.Azim, I. Neamtiu, OOPSLA'13