On the public citation graph
Systematic Mutation-Based Evaluation of the Soundness of Security-Focused Android Static Analysis Techniques
0 signed · 78 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4757-5939-6_7openalex-snapshot
Mutation 2000: Uniting the Orthogonal
inferredcites →https://doi.org/10.1007/978-3-642-30921-2_17openalex-snapshot
AndroidLeaks: Automatically Detecting Potential Privacy Leaks in Android Applications on a Large Scale
inferredcites →https://doi.org/10.1007/978-3-642-36742-7_39openalex-snapshot
AppGuard – Enforcing User Requirements on Android Apps
inferredcites →https://doi.org/10.1007/978-3-642-40203-6_43openalex-snapshot
Run-Time Enforcement of Information-Flow Properties on Android
inferredcites →https://doi.org/10.1109/acsac.2009.39openalex-snapshot
Semantically Rich Application-Centric Security in Android
inferredcites →https://doi.org/10.1109/ares.2014.13openalex-snapshot
DroidForce: Enforcing Complex, Data-centric, System-wide Policies in Android
inferredcites →https://doi.org/10.1109/ase.2013.6693128openalex-snapshot
Flow Permissions for Android
inferredcites →https://doi.org/10.1109/badgers.2014.7openalex-snapshot
ANDRUBIS -- 1,000,000 Apps Later: A View on Current Android Malware Behaviors
inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot
Hints on Test Data Selection: Help for the Practicing Programmer
inferredcites →https://doi.org/10.1109/icse-c.2017.16openalex-snapshot
CrashScope: A Practical Tool for Automated Testing of Android Applications
inferredcites →https://doi.org/10.1109/icse.2015.30openalex-snapshot
Composite Constant Propagation: Application to Android Inter-Component Communication Analysis
inferredcites →https://doi.org/10.1109/icse.2015.48openalex-snapshot
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
inferredcites →https://doi.org/10.1109/icse.2015.50openalex-snapshot
AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context
inferredcites →https://doi.org/10.1109/icse.2017.36openalex-snapshot
A SEALANT for Inter-App Security Holes in Android
inferredcites →https://doi.org/10.1109/icst.2016.34openalex-snapshot
Automatically Discovering, Reporting and Reproducing Android Application Crashes
inferredcites →https://doi.org/10.1109/icstw.2016.17openalex-snapshot
An Experimental Evaluation of Web Mutation Operators
inferredcites →https://doi.org/10.1109/sp.2010.29openalex-snapshot
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
inferredcites →https://doi.org/10.1109/sp.2012.16openalex-snapshot
Dissecting Android Malware: Characterization and Evolution
inferredcites →https://doi.org/10.1109/sp.2013.36openalex-snapshot
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
inferredcites →https://doi.org/10.1109/sp.2016.15openalex-snapshot
LAVA: Large-Scale Automated Vulnerability Addition
inferredcites →https://doi.org/10.1109/sp.2016.33openalex-snapshot
SoK: Lessons Learned from Android Security Research for Appified Software Platforms
inferredcites →https://doi.org/10.1109/tse.2017.2756048openalex-snapshot
Tracking Load-Time Configuration Options
inferredcites →https://doi.org/10.1145/1653662.1653691openalex-snapshot
On lightweight mobile phone application certification
inferredcites →https://doi.org/10.1145/1999995.2000018openalex-snapshot
Analyzing inter-application communication in Android
inferredcites →https://doi.org/10.1145/2046614.2046624openalex-snapshot
Practical and lightweight domain isolation on Android
inferredcites →https://doi.org/10.1145/2046707.2046779openalex-snapshot
Android permissions demystified
inferredcites →https://doi.org/10.1145/2103656.2103669openalex-snapshot
A language for automatically enforcing privacy policies
inferredcites →https://doi.org/10.1145/2382196.2382205openalex-snapshot
Why eve and mallory love android
inferredcites →https://doi.org/10.1145/2508859.2516655openalex-snapshot
Rethinking SSL development in an appified world
inferredcites →https://doi.org/10.1145/2508859.2516677openalex-snapshot
Preventing accidental data disclosure in modern operating systems
inferredcites →https://doi.org/10.1145/2508859.2516693openalex-snapshot
An empirical study of cryptographic misuse in android applications
inferredcites →https://doi.org/10.1145/2610384.2610403openalex-snapshot
Automated testing for SQL injection vulnerabilities: an input mutation approach
inferredcites →https://doi.org/10.1145/2614628.2614633openalex-snapshot
Android taint flow analysis for app sets
inferredcites →https://doi.org/10.1145/2632168.2632169openalex-snapshot
Intent fuzzer: crafting intents of death
inferredcites →https://doi.org/10.1145/2642937.2643018openalex-snapshot
Information flows as a permission mechanism
inferredcites →https://doi.org/10.1145/2742647.2742668openalex-snapshot
Efficient Privilege De-Escalation for Ad Libraries in Mobile Apps
inferredcites →https://doi.org/10.1145/2810103.2813648openalex-snapshot
Hare Hunting in the Wild Android
inferredcites →https://doi.org/10.1145/2884781.2884855openalex-snapshot
Toward a framework for detecting privacy policy violations in android application code
inferredcites →https://doi.org/10.1145/2931037.2931054openalex-snapshot
Sapienz: multi-objective automated testing for Android applications
inferredcites →https://doi.org/10.1145/3106237.3106244openalex-snapshot
µDroid: an energy-aware mutation testing framework for Android
inferredcites →https://doi.org/10.1145/3106237.3106275openalex-snapshot
Enabling mutation testing for Android apps
inferredcites →https://doi.org/10.1145/3213846.3213873openalex-snapshot
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
inferredcites →https://doi.org/10.1145/3236024.3236029openalex-snapshot
Do Android taint analysis tools keep their promises?
inferredcites →https://doi.org/10.1145/363516.363526openalex-snapshot
Protecting privacy using the decentralized label model
inferredcites →https://doi.org/10.14722/ndss.2014.23205openalex-snapshot
SMV-HUNTER: Large Scale, Automated Detection of SSL/TLS Man-in-the-Middle Vulnerabilities in Android Apps
inferredcites →https://doi.org/10.14722/ndss.2014.23247openalex-snapshot
Drebin: Effective and Explainable Detection of Android Malware in Your Pocket
inferredcites →https://doi.org/10.14722/ndss.2015.23140openalex-snapshot
EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework
inferredcites →https://doi.org/10.21236/ada579929openalex-snapshot
Modeling and Enhancing Android's Permission System
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10922-025-09906-3openalex-snapshot
Hybrid Multilevel Detection of Mobile Devices Malware Under Concept Drift
inferred← citeshttps://doi.org/10.1007/s11277-024-11128-wopenalex-snapshot
An Efficient Security Testing for Android Application Based on Behavior and Activities Using Improved PCA and DNN-KNN Classifier
inferred← citeshttps://doi.org/10.1016/j.eswa.2023.122255openalex-snapshot
Detection approaches for android malware: Taxonomy and review analysis
inferred← citeshttps://doi.org/10.1109/iccsdfai70505.2026.11647897openalex-snapshot
Vulnerability-Seeded Code Synthesis for Benchmarking Static Analysis Security Tools
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00034openalex-snapshot
µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833582openalex-snapshot
Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00019openalex-snapshot
"False negative - that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing
inferred← citeshttps://doi.org/10.1109/tdsc.2024.3354789openalex-snapshot
Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools
inferred← citeshttps://doi.org/10.1109/tse.2021.3120213openalex-snapshot
XDebloat: Towards Automated Feature-Oriented App Debloating
inferred← citeshttps://doi.org/10.1145/3533767.3534382openalex-snapshot
Testing Dafny (experience paper)
inferred← citeshttps://doi.org/10.1145/3611643.3613099openalex-snapshot
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
inferred← citeshttps://doi.org/10.1145/3714393.3726508openalex-snapshot
Multi-Device Context-Sensitive Attacks Against Privacy
inferred← citeshttps://doi.org/10.1145/3797109openalex-snapshot
Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System
inferred← citeshttps://doi.org/10.33386/593dp.2024.3.2300openalex-snapshot
Estrategias para Identificar y Mitigar Vulnerabilidades de Inyección SQL en Aplicaciones Móviles Android: Revisión Bibliográfica
inferred← citeshttps://doi.org/10.5753/sast.2024.3773openalex-snapshot
Mutation Testing to Support the Security Testing of Android Applications
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.