The automated and semi-automated analysis of source code has remained a topic of
intense research for more than thirty years. During this period, algorithms and techniques for …

Testing is the process of evaluating a system by manual or automated means. While
Regression Test Selection (RTS) discards test cases and Test Suite Minimization (TSM) …

We present AndroidRipper, an automated technique that tests Android apps via their
Graphical User Interface (GUI). AndroidRipper is based on a user-interface driven ripper that …

Most of today's software applications feature a graphical user interface (GUI) front-end.
System testing of these applications requires that test cases, modeled as sequences of GUI …

Android software presents many challenges for static program analysis. In this work we
focus on the fundamental problem of static control-flow analysis. Traditional analyses cannot …

As mobile applications become more complex, specific development tools and frameworks
as well as cost effective testing techniques and tools will be essential to assure the …

Graphical user interfaces (GUIs) are by far the most popular means used to interact with
today's software. The functional correctness of a GUI is required to ensure the safety …

This work develops a static analysis to create a model of the behavior of an Android
application's GUI. We propose the window transition graph (WTG), a model representing the …

There is a growing need for automated testing techniques aimed at Android apps. A critical
challenge is the systematic generation of test cases. One method of systematically …

Graphical user interfaces (GUIs), due to their event-driven nature, present an enormous and
potentially unbounded way for users to interact with software. During testing, it is important to …