6 citations · 22 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
On the Power of Finite Ambiguity in Büchi Complementation
Weizhi Feng, Yong Li, Andrea Turrini +2
In this work, we exploit the power of \emph{finite ambiguity} for the complementation problem of Büchi automata by using reduced run directed acyclic graphs (DAGs) over infinite wo…
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…