activity
20112021
most citedErratum to: Model-checking continuous-time Markov chains by Aziz et al

3 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2021

What do all these Buttons do? Statically Mining Android User Interfaces at Scale

Konstantin Kuznetsov, Chen Fu, Song Gao +3

We introduce FRONTMATTER: a tool to automatically mine both user interface models and behavior of Android apps at a large scale with high precision. Given an app, FRONTMATTER stati…