ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
Fri 4 Apr 2025 12:15 - 12:30 at Aula Magna (AM) - Automated Testing Chair(s): Cristian Cadar

With the continuous growth in the number of Android applications and the size of their codebases, it has become increasingly difficult for testers to manually analyze and trigger the functionalities of interest in each application. For instance, it is hard to trigger vulnerability points reported by scanners or reproduce captured crash scenarios. On the other hand, most existing automated exploration techniques exhibit slow performance when triggering specified targets due to the extensive exploration of different paths. Target-directed techniques can effectively address this issue but are relatively underexplored in existing research. The only target-directed exploration tool, GOALEXPLORER, is constrained by the limitations in the precision of its static analysis, which negatively impacts both exploration efficiency and effectiveness.

To boost the efficiency of target-directed exploration, we propose an automated GUI testing method guided by target functions called Automated Directed GUI Explorer (ADGE). Specifically, ADGE first generates a tainted Inter-procedural Control Flow Graph with the GUI widgets by modeling the role of GUI widgets in the control flow as well as their relationship with the target using static analysis. In the dynamic exploration phase, ADGE constructs the real-time model of the fragments and menus on the current screen to guide its exploration decisions with the knowledge of static model. To validate the effectiveness of ADGE, we conduct extensive comparisons of ADGE with the state-of-the-art baseline GOALEXPLORER on 55 benchmark applications. The results demonstrate that ADGE reduced the average time to trigger targets by 44% compared to GOALEXPLORER, while also successfully triggering more than 5.24% targets. Furthermore, during the testing process, ADGE successfully triggered 5 crash events.

Fri 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Automated TestingIndustry / Research Papers / Journal-First Papers / Education at Aula Magna (AM)
Chair(s): Cristian Cadar Imperial College London
11:00
15m
Talk
Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT Platforms
Research Papers
Daniel Rodriguez-Cardenas William & Mary, Safwat Ali Khan George Mason University, Prianka Mandal William & Mary, Adwait Nadkarni William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary
Pre-print
11:15
15m
Talk
Many-Objective Neuroevolution for Testing Games
Research Papers
Patric Feldmeier University of Passau, Katrin Schmelz University of Passau, Gordon Fraser University of Passau
Pre-print
11:30
15m
Talk
Black-Box Testing for Practitioners
Education
Matthias Hamburg IEEE Computer Society; International Software Testing Qualifications Board, Adam Roman Jagiellonian University, Faculty of Mathematics and Computer Science; International Software Testing Qualifications Board
11:45
15m
Talk
CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model
Industry
Daniele Gorla Department of Computer Science, Sapienza University of Rome, Shivam Kumar , Pietro Nicolaus Roselli Lorenzini , Alireza Alipourfaz
12:00
15m
Talk
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
Journal-First Papers
Lev Sorokin Technische Universität München, Germany, Damir Safin fortiss, Shiva Nejati University of Ottawa
12:15
15m
Talk
[prerecorded] ADGE: Automated Directed GUI Explorer for Android Applications
Research Papers
Yue Jiang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Xiaobo Xiang Singular Security Lab, Beijing, China, Qingli Guo Institute of Information Engineering, Chinese Academy of Sciences, Qi Gong Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science
:
:
:
: