Main content

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. TouchGuru is a research project to develop a static analyzer for Microsoft TouchDevelop scripts.

Key Publications

  • L. Brutschy and D. Dimitrov and P. Müller and M. Vechev: Serializability for Eventual Consistency: Criterion, Analysis, and Applications
    Principles of Programming Languages (POPL), 2017. [PDF] [BIB]
  • L. Brutschy, P. Ferrara, and P. Müller: Static Analysis for Independent App Developers
    Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2014. [PDF] [BIB]   
  • L. Brutschy, P. Ferrara, and P. Müller: TouchGuru: Integrating Static Analysis with a Mobile Development Environment
    Second International Workshop on Mobile Development Lifecycle, 2014. [PDF] [BIB]
  • P. Ferrara and D. Schweizer and L. Brutschy: TouchCost: Cost Analysis of TouchDevelop Scripts
    Fundamental Approaches to Software Engineering (FASE), 2014. [PDF] [BIB]


TouchGuru is a collaboration with  the TouchDevelop team at Microsoft Research and our former team member Pietro Ferrara.

Page URL:
Fri Jun 23 04:37:58 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich