FORGE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Sun 27 Apr 2025 17:12 - 17:24 at 207 - Session2: FM for Software Quality Assurance & Testing Chair(s): Feifei Niu

Third-party libraries (TPLs) are an integral part of Android app development, offering app developers essential tools for enhancing app functionality, design, and integration capabilities. However, the fast-paced evolution of Android APIs introduces compatibility issues not only in Android apps but also in TPLs as they rely heavily on these Android APIs too. These challenges necessitate continuous updates and compatibility checks to maintain apps as well as TPL’s compatibility across Android’s diverse ecosystem. Prior research primarily focused on detecting compatibility issues induced by native Android APIs in Android apps falling short in detecting the incompatible APIs associated with TPLs due to the additional layer of abstraction they introduce as well as the obfuscation used by the TPL developers. In this paper, we propose LibCT that leverages a pretrained Large Language Model (LLM), GPT-4, for detecting incompatible APIs in Android TPLs. It leverages GPT-4 to generate tests on TPL API usages and executes them across a wide range of Android devices available in the Amazon Device Farm. In our experimental evaluation, we tested 312 libraries with 12,831 APIs on 86 devices in the Amazon device farm, which revealed 274 incompatible APIs, highlighting the LibCT’s capability in identifying both evolution-induced and device-specific compatibility issues.

Sun 27 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session2: FM for Software Quality Assurance & TestingResearch Papers / Data and Benchmarking at 207
Chair(s): Feifei Niu University of Ottawa
16:00
12m
Long-paper
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
Research Papers
Seyed Moein Abtahi Ontario Tech University, Akramul Azim Ontario Tech University
16:12
12m
Long-paper
Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models
Research Papers
Marc Bruni University of Applied Sciences and Arts Northwestern Switzerland, Fabio Gabrielli University of Applied Sciences and Arts Northwestern Switzerland, Mohammad Ghafari TU Clausthal, Martin Kropp University of Applied Sciences and Arts Northwestern Switzerland
Pre-print
16:24
12m
Long-paper
Vulnerability-Triggering Test Case Generation from Third-Party Libraries
Research Papers
Yi Gao Zhejiang University, Xing Hu Zhejiang University, Zirui Chen , Tongtong Xu Nanjing University, Xiaohu Yang Zhejiang University
16:36
6m
Short-paper
Microservices Performance Testing with Causality-enhanced Large Language Models
Research Papers
Cristian Mascia University of Naples Federico II, Roberto Pietrantuono Università di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Luca Giamattei Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
16:42
6m
Short-paper
MaRV: A Manually Validated Refactoring Dataset
Data and Benchmarking
Henrique Gomes Nunes Universidade Federal de Minas Gerais, Tushar Sharma Dalhousie University, Eduardo Figueiredo Federal University of Minas Gerais
16:48
6m
Short-paper
PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection
Data and Benchmarking
Domenico Cotroneo University of Naples Federico II, Giuseppe De Rosa University of Naples Federico II, Pietro Liguori University of Naples Federico II
16:54
6m
Short-paper
The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large Language Models
Data and Benchmarking
Jonathan Katzy Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen TU Delft, Maliheh Izadi Delft University of Technology
17:00
12m
Long-paper
ELDetector: An Automated Approach Detecting Endless-loop in Mini Programs
Research Papers
Nan Hu Xi’an Jiaotong University, Ming Fan Xi'an Jiaotong University, Jingyi Lei Xi'an Jiaotong University, Jiaying He Xi'an Jiaotong University, Zhe Hou China Mobile System Integration Co.
17:12
12m
Long-paper
Testing Android Third Party Libraries with LLMs to Detect Incompatible APIs
Research Papers
Tarek Mahmud Texas State University, Bin Duan University of Queensland, Meiru Che Central Queensland University, Anne Ngu Texas State University, Guowei Yang University of Queensland
:
:
:
: