Image de couverture de livre

Understanding and Detecting Platform-Specific Violations in Android Auto Apps

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fakorede, Moshood, Farooq, Umar
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Understanding Bugs in Quantum Simulators: An Empirical Study
par: Upadhyay, Krishna, et autres
Publié: (2026)

MobileDev-Bench: A Benchmark for Issue Resolution in Mobile Application Development
par: Fakorede, Moshood A., et autres
Publié: (2026)

AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
par: Qiu, Ruidi, et autres
Publié: (2024)

Challenges of Multilingual Program Specification and Analysis
par: Furia, Carlo A., et autres
Publié: (2024)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Validating Traces of Distributed Programs Against TLA+ Specifications
par: Cirstea, Horatiu, et autres
Publié: (2024)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
par: Mascetti, Sergio, et autres
Publié: (2020)

Contract Usage and Evolution in Android Mobile Applications
par: Ferreira, David R., et autres
Publié: (2024)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
par: Lamprou, Evangelos, et autres
Publié: (2025)

A Comparative Study of Full Apps and Lite Apps for Android
par: Tang, Yutian, et autres
Publié: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
par: Amaral, Isabel, et autres
Publié: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
par: Odyurt, Uraz, et autres
Publié: (2025)

React-tRace: A Semantics for Understanding React Hooks
par: Lee, Jay, et autres
Publié: (2025)

LDMDroid: Leveraging LLMs for Detecting Data Manipulation Errors in Android Apps
par: Xiao, Xiangyang, et autres
Publié: (2026)

Exploring Hidden Geographic Disparities in Android Apps
par: Alecci, M., et autres
Publié: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
par: Khare, Avishree, et autres
Publié: (2023)

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
par: Fang, Shihan, et autres
Publié: (2025)

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
par: Wei, Jiayi, et autres
Publié: (2023)

RacerF: Lightweight Static Data Race Detection for C Code
par: Dacík, Tomáš, et autres
Publié: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
par: Schwarz, Michael, et autres
Publié: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
par: Dacík, Tomáš, et autres
Publié: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
par: Heinze, Thomas S.
Publié: (2026)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
par: Serebryany, Kostya, et autres
Publié: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
par: Bhatia, Rishipal Singh
Publié: (2026)

LLMAID: Identifying AI Capabilities in Android Apps with LLMs
par: Liu, Pei, et autres
Publié: (2025)

Demystifying Device-specific Compatibility Issues in Android Apps
par: Chen, Junfeng, et autres
Publié: (2024)

Assessing and Enhancing Quantum Readiness in Mobile Apps
par: Strauss, Joseph, et autres
Publié: (2025)

AutoCode: LLMs as Problem Setters for Competitive Programming
par: Zhou, Shang, et autres
Publié: (2025)

AutoMCQ -- Automatically Generate Code Comprehension Questions using GenAI
par: Goodfellow, Martin, et autres
Publié: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
par: Yu, Hao, et autres
Publié: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
par: Yrievich, Petro Baran
Publié: (2026)

BODHI: Precise OS Kernel Specification Inference
par: Chang, Zhiming, et autres
Publié: (2026)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
par: Mughal, A. H.
Publié: (2024)

Grounding Data Science Code Generation with Input-Output Specifications
par: Wen, Yeming, et autres
Publié: (2024)

A Study of Using Multimodal LLMs for Non-Crash Functional Bug Detection in Android Apps
par: Ju, Bangyan, et autres
Publié: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Automatically Detecting Checked-In Secrets in Android Apps: How Far Are We?
par: Li, Kevin, et autres
Publié: (2024)

Assessing Code Understanding in LLMs
par: Laneve, Cosimo, et autres
Publié: (2025)