Publication
MobileDeLi 2014
Conference paper
TouchGuru: Integrating static analysis with a mobile development environment
Abstract
Mobile apps often expose bugs only under specific environment conditions or after specific interactions, making it hard to detect them via testing. By approximating the program behavior under all possible conditions, static analysis is able to fill this gap. In this invited talk, we present TouchGuru, a static analyzer for Microsoft TouchDevelop scripts. In particular, we present how the design of TouchGuru takes into account the user's perspective.