Machado P, Campos JC, Abreu R.? 2013.??MZoltar: automatic debugging of Android applications. Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile - DeMobile. :9?16.