Image de couverture de livre

On Automatically Generating Assertions for Validating Reported Failures in Android Apps

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Anonymous Authors
Format:	Recurso digital
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Revisiting Android Malware Detectors: an Unbiased Study
par: Anonymous, Authors
Publié: (2025)

Revisiting Android Malware Detectors: an Unbiased Study
par: Anonymous, Authors
Publié: (2025)

Understanding the Origin and Reachability of Cryptographic API Misuse Reports in Android Apps
par: Anonymous, Anonymous
Publié: (2026)

Dataset associated with paper "Studying the Generalization Abilities of Graph Neural Networks for Combinatorial Optimization: A Case Study on the Staff Scheduling Problem"
par: Anonymous Authors
Publié: (2026)

Representative cases for FAITH
par: Anonymous Authors
Publié: (2025)

Anonymized repository for submission 248 - IEEE ICWS 2025
par: Anonymous Authors
Publié: (2025)

Anonymized repository for submission 248 - IEEE ICWS 2025
par: Anonymous Authors
Publié: (2025)

ExpML Source Code and Small-Scale Evaluation Transcription
par: Anonymous Authors
Publié: (2025)

CRAKEN Supplementary Materials
par: Anonymous Authors
Publié: (2025)

Response for Questions from d5hH
par: Anonymous, Authors
Publié: (2026)

LLM-based Structure Extraction Prompt for the Mapping Study
par: Anonymous Authors
Publié: (2026)

Beyond Confidence: Rethinking Uncertainty Calibration in Deep Code Models
par: Anonymous Authors
Publié: (2026)

CoordSQL: A Multi-Agent Framework for Coordinated Natural Language to SQL Translation in Enterprise Databases
par: Anonymous Authors
Publié: (2026)

Online Supplementary Material
par: Anonymous Authors
Publié: (2026)

Replication package for ESEM2026 review
par: Anonymous, Authors
Publié: (2026)

HintSMT
par: Anonymous Authors
Publié: (2026)

Artifacts for "WebCQ: Cooperative Multi-Agent Reinforcement Learning for Scalable Web GUI Testing"
par: Anonymous Authors
Publié: (2026)

Structured-Noise Deconvolution Benchmark — Representative Sample
par: Anonymous, Authors
Publié: (2026)

Anonymous submission supplementary material
par: Anonymous, Authors
Publié: (2026)

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

GUI Design for Android Apps
par: Cohen, Ryan, et autres
Publié: (2018)

GUI Design for Android Apps
par: Ryan Cohen

Identifying and Bridging the Gap between Code Generation and Reasoning in LLMs
par: Authors
Publié: (2026)

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

Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
par: Wang, Dingbang, et autres
Publié: (2024)

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

Adaptive Silent Data Corruption Detection for NPUs via Hierarchical MCTS
par: Authors
Publié: (2026)

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
par: Iman, Mohammad Reza Heidari, et autres
Publié: (2026)

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization
par: Wu, Fenghua, et autres
Publié: (2025)

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)

Evaluating Large Language Models in detecting Secrets in Android Apps
par: Alecci, Marco, et autres
Publié: (2025)

Stealthy Backdoor Attack to Real-world Models in Android Apps
par: Wei, Jiali, et autres
Publié: (2025)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
par: Fakorede, Moshood, et autres
Publié: (2025)

ARAP: Demystifying Anti Runtime Analysis Code in Android Apps
par: Suo, Dewen, et autres
Publié: (2024)

An Empirical Comparison of Security and Privacy Characteristics of Android Messaging Apps
par: Karyotakis, Ioannis, et autres
Publié: (2026)

Replication package for "On Coding Agent Issue Localization Accuracy An Exploratory Study"
par: Authors Blind
Publié: (2026)

To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
par: Asghari, Mohammad Hossein, et autres
Publié: (2025)

LM-Scout: Analyzing the Security of Language Model Integration in Android Apps
par: Ibrahim, Muhammad, et autres
Publié: (2025)

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