1. To be precise: regression aware debugging
2. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
3. UI/Application Exerciser Monkey. https://developer.android.com/studio/test/monkey.html. Accessed on 20th September 2016. UI/Application Exerciser Monkey. https://developer.android.com/studio/test/monkey.html. Accessed on 20th September 2016.