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.
- 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.