paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MutAPK: Source-Codeless Mutant Generation for Android Apps

MutAPK:面向 Android 应用的无需源代码变异体生成
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10 · 该论文关注 Android APK 的无源码变异测试,在 SMALI 中间表示上生成变异体。虽然涉及程序中间表示和软件分析,但与用户核心方向(PL→AI 静态分析、LLM/Agent 改进静态分析、浮点程序分析、贝叶斯程序分析)没有直接关联,也未涉及 LLM 或 AI 方法。引用 12 inbox
Camilo Escobar-Velasquez, Michael Osorio-Riano, Mario Linares-Vasquez
crossref: 2026-09-12

AI 速览

一句话:提出 MutAPK,无需源代码,以 APK 为输入并在 SMALI 中间表示上生成 Android 应用变异体。

Android 应用数量快速增长,给应用质量、频繁发布和快速修复缺陷带来压力,促使实践者和研究者采用自动化方法,而这些方法通常以源代码为输入。然而第三方服务因隐私因素无法使用这类方法。为此,论文提出 MutAPK,一个开源变异测试工具,使 APK 可直接作为变异测试的输入。MutAPK 不需要访问源代码,因为它在代码的中间表示 SMALI 上进行变异,无需重新编译即可生成变异体。该工具已公开在 GitHub 并提供演示视频。

问题
自动化质量保障方法通常依赖源代码,第三方服务因隐私限制无法获取源代码,因此难以对 Android 应用执行变异测试。
方法
实现开源工具 MutAPK,以 APK 为输入,在无需编译的 SMALI 中间表示上注入变异,从而生成变异体。
评估
论文以工具可用性与公开交付为主要评估,MutAPK 已发布在 GitHub 并提供视频;摘要未报告量化实验。
原文摘要(Abstract)

The amount of Android application is having a tremendous increasing trend, exerting pressure over practitioners and researchers around application quality, frequent releases, and quick fixing of bugs. This pressure leads practitioners to make usage of automated approaches based on using source-code as input. Nevertheless, third-party services are not able to use these approaches due to privacy factors. In this paper we present MutAPK, an open source mutation testing tool that enables the usage of APK as input for this task. MutAPK generates mutants without the need of having access to source code, because the mutations are done in an intermediate representation of the code (i.e., SMALI) that does not require compilation. MutAPK is publicly available at GitHub: https://bit.ly/2KYvgP9 VIDEO: https://bit.ly/2WOjiyy.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5210,
  title = {MutAPK: Source-Codeless Mutant Generation for Android Apps},
  author = {Camilo Escobar-Velasquez and Michael Osorio-Riano and Mario Linares-Vasquez},
  booktitle = {ASE},
  year = {2019},
  doi = {10.1109/ase.2019.00109}
}