Automatic Debugging of Android Applications - Pedro Miguel Ferreira Machado (2013)