On the public citation graph

Static control-flow analysis of user-driven callbacks in Android applications

https://doi.org/10.5555/2818754.2818768
0 signed · 144 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.364openalex-snapshot
An event‐flow model of GUI‐based applications for testing
inferredcites →https://doi.org/10.1007/11688839_2openalex-snapshot
Interprocedural Dataflow Analysis in the Presence of Large Libraries
inferredcites →https://doi.org/10.1007/978-3-642-37057-1_19openalex-snapshot
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
inferredcites →https://doi.org/10.1016/0304-3975(96)00072-2openalex-snapshot
Precise interprocedural dataflow analysis with applications to constant propagation
inferredcites →https://doi.org/10.1016/j.infsof.2012.05.003openalex-snapshot
Static analysis of Android programs
inferredcites →https://doi.org/10.1109/csnt.2014.236openalex-snapshot
Automatic Android GUI Traversal with High Coverage
inferredcites →https://doi.org/10.1109/icse.2012.6227157openalex-snapshot
Amplifying tests to validate exception handling code
inferredcites →https://doi.org/10.1109/icst.2011.11openalex-snapshot
Experiences of System-Level Model-Based GUI Testing of an Android Application
inferredcites →https://doi.org/10.1109/issre.2013.6698894openalex-snapshot
Systematic testing for resource leaks in Android applications
inferredcites →https://doi.org/10.1109/mobs.2013.6614215openalex-snapshot
Testing for poor responsiveness in android applications
inferredcites →https://doi.org/10.1109/tse.2005.117openalex-snapshot
Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software
inferredcites →https://doi.org/10.1109/wcre.2003.1287256openalex-snapshot
GUI ripping: reverse engineering of graphical user interfaces for testing
inferredcites →https://doi.org/10.1145/1044834.1044835openalex-snapshot
Parameterized object sensitivity for points-to analysis for Java
inferredcites →https://doi.org/10.1145/1925844.1926390openalex-snapshot
Pick your contexts well
inferredcites →https://doi.org/10.1145/199448.199462openalex-snapshot
Precise interprocedural dataflow analysis via graph reachability
inferredcites →https://doi.org/10.1145/1999995.2000018openalex-snapshot
Analyzing inter-application communication in Android
inferredcites →https://doi.org/10.1145/2307636.2307661openalex-snapshot
What is keeping my phone awake?
inferredcites →https://doi.org/10.1145/2338965.2336762openalex-snapshot
Search-based system testing: high coverage, no false alarms
inferredcites →https://doi.org/10.1145/2338965.2336782openalex-snapshot
Finding errors in multithreaded GUI applications
inferredcites →https://doi.org/10.1145/2351676.2351717openalex-snapshot
Using GUI ripping for automated testing of Android applications
inferredcites →https://doi.org/10.1145/2381934.2381950openalex-snapshot
SmartDroid
inferredcites →https://doi.org/10.1145/2382196.2382223openalex-snapshot
CHEX
inferredcites →https://doi.org/10.1145/2483760.2483777openalex-snapshot
Automated testing with targeted event sequence generation
inferredcites →https://doi.org/10.1145/2509136.2509549openalex-snapshot
Targeted and depth-first exploration for systematic testing of android apps
inferredcites →https://doi.org/10.1145/2516760.2516769openalex-snapshot
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
inferredcites →https://doi.org/10.1145/2543728.2543748openalex-snapshot
An operational semantics for android activities
inferredcites →https://doi.org/10.1145/2544137.2544159openalex-snapshot
Static Reference Analysis for GUI Objects in Android Software
inferredcites →https://doi.org/10.1145/2568225.2568301openalex-snapshot
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction
inferredcites →https://doi.org/10.1145/2594291.2594299openalex-snapshot
FlowDroid
inferredcites →https://doi.org/10.1145/2635868.2635869openalex-snapshot
Apposcopy: semantics-based detection of Android malware through static analysis
inferredcites →https://doi.org/10.1145/506315.506316openalex-snapshot
A framework for call graph construction algorithms

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4021916openalex-extracted
Analysis of Code Cloning in Open-Source and Industrial Software Development Stages: A Perspective of Mobile Applications
inferred← citeshttps://doi.org/10.2139/ssrn.4194309openalex-extracted
inferred← citeshttps://doi.org/10.1007/978-3-030-02450-5_23openalex-snapshot
Checking Activity Transition Systems with Back Transitions Against Assertions
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_17openalex-snapshot
EviCheck: Digital Evidence for Android
inferred← citeshttps://doi.org/10.1007/978-3-319-42092-9_9openalex-snapshot
An Operational Semantics for Android Applications
inferred← citeshttps://doi.org/10.1007/978-981-15-1301-5_25openalex-snapshot
ADS-SA: System for Automatically Detecting Sensitive Path of Android Applications Based on Static Analysis
inferred← citeshttps://doi.org/10.1007/s10515-021-00290-1openalex-snapshot
ANCHOR: locating android framework-specific crashing faults
inferred← citeshttps://doi.org/10.1007/s11219-019-09484-zopenalex-snapshot
Sentinel: generating GUI tests for sensor leaks in Android and Android wear apps
inferred← citeshttps://doi.org/10.1007/s11219-019-09492-zopenalex-snapshot
Towards supporting software assurance assessments by detecting security patterns
inferred← citeshttps://doi.org/10.1007/s11704-018-7008-1openalex-snapshot
Analyses for specific defects in android applications: a survey
inferred← citeshttps://doi.org/10.1016/j.cose.2016.01.008openalex-snapshot
Dexteroid: Detecting malicious behaviors in Android apps using reverse-engineered life cycle models
inferred← citeshttps://doi.org/10.1016/j.diin.2018.04.012openalex-snapshot
Automated forensic analysis of mobile applications on Android devices
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.05.002openalex-snapshot
Analyzing and visualizing information flow in heterogeneous component-based software systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.04.001openalex-snapshot
Static analysis of android apps: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.infsof.2018.05.005openalex-snapshot
User interface design smell: Automatic detection and refactoring of Blob listeners
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106291openalex-snapshot
A study of run-time behavioral evolution of benign versus malicious apps in android
inferred← citeshttps://doi.org/10.1016/j.infsof.2021.106619openalex-snapshot
Icon2Code: Recommending code implementations for Android GUI components
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110433openalex-snapshot
Effective testing of Android apps using extended IFML models
inferred← citeshttps://doi.org/10.1016/j.suscom.2021.100589openalex-snapshot
Measuring power consumption in mobile devices for energy sustainable app development: A comparative study and challenges
inferred← citeshttps://doi.org/10.1109/access.2018.2883975openalex-snapshot
Android Malware Permission-Based Multi-Class Classification Using Extremely Randomized Trees
inferred← citeshttps://doi.org/10.1109/access.2019.2895504openalex-snapshot
AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing
inferred← citeshttps://doi.org/10.1109/access.2019.2934528openalex-snapshot
Static Back-Stack Transition Analysis for Android
inferred← citeshttps://doi.org/10.1109/apsec.2016.037openalex-snapshot
Testing Android Apps via Guided Gesture Event Generation
inferred← citeshttps://doi.org/10.1109/ase.2015.76openalex-snapshot
Static Window Transition Graphs for Android (T)
inferred← citeshttps://doi.org/10.1109/ase.2017.8115615openalex-snapshot
EHBDroid: Beyond GUI testing for Android applications
inferred← citeshttps://doi.org/10.1109/cscloud.2015.21openalex-snapshot
Survey on Privacy Protection of Android Devices
inferred← citeshttps://doi.org/10.1109/iceccs.2016.041openalex-snapshot
Automatic Construction of Callback Model for Android Application
inferred← citeshttps://doi.org/10.1109/icei.2019.00072openalex-snapshot
Automated Testing of Energy Hotspots and Defects for Android Applications
inferred← citeshttps://doi.org/10.1109/icpc.2017.14openalex-snapshot
Android Repository Mining for Detecting Publicly Accessible Functions Missing Permission Checks
inferred← citeshttps://doi.org/10.1109/icrito.2018.8748410openalex-snapshot
A Static-dynamic Approach for UI Model Generation for Mobile Applications
inferred← citeshttps://doi.org/10.1109/icse-c.2017.130openalex-snapshot
Detecting Behavior Anomalies in Graphical User Interfaces
inferred← citeshttps://doi.org/10.1109/icse-c.2017.82openalex-snapshot
App Genome: Callback Sequencing in Android
inferred← citeshttps://doi.org/10.1109/icse-c.2017.95openalex-snapshot
Predicate Callback Summaries
inferred← citeshttps://doi.org/10.1109/icse-companion.2019.00086openalex-snapshot
Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE
inferred← citeshttps://doi.org/10.1109/icse-companion52605.2021.00061openalex-snapshot
ProMal: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning
inferred← citeshttps://doi.org/10.1109/icse-seip.2017.32openalex-snapshot
Automated test input generation for android: towards getting there in an industrial case
inferred← citeshttps://doi.org/10.1109/icse.2017.36openalex-snapshot
A SEALANT for Inter-App Security Holes in Android
inferred← citeshttps://doi.org/10.1109/icse.2017.39openalex-snapshot
Analysis and Testing of Notifications in Android Wear Applications
inferred← citeshttps://doi.org/10.1109/icse.2019.00041openalex-snapshot
IconIntent: Automatic Identification of Sensitive UI Widgets Based on Icon Classification for Android Apps
inferred← citeshttps://doi.org/10.1109/icsme.2017.27openalex-snapshot
Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing
inferred← citeshttps://doi.org/10.1109/icsme.2017.31openalex-snapshot
Understanding Android Application Programming and Security: A Dynamic Study
inferred← citeshttps://doi.org/10.1109/icsme.2018.00065openalex-snapshot
Automated Extraction of Augmented Models for Android Apps
inferred← citeshttps://doi.org/10.1109/icstw52544.2021.00034openalex-snapshot
Improving Mobile User Interface Testing with Model Driven Monkey Search
inferred← citeshttps://doi.org/10.1109/iiki.2015.34openalex-snapshot
PAPDroid: Personalization Awareness Privacy Protection in Android
inferred← citeshttps://doi.org/10.1109/issre5003.2020.00033openalex-snapshot
Exposing Android Event-Based Races by Selective Branch Instrumentation
inferred← citeshttps://doi.org/10.1109/mc.2018.2141024openalex-snapshot
What Are We Missing When Testing Our Android Apps?
inferred← citeshttps://doi.org/10.1109/mobilesoft.2017.28openalex-snapshot
Generating Predicate Callback Summaries for the Android Framework
inferred← citeshttps://doi.org/10.1109/mobilesoft.2017.34openalex-snapshot
Toward Client-Centric Approaches for Latency Minimization in Mobile Applications
inferred← citeshttps://doi.org/10.1109/mobilesoft.2019.00017openalex-snapshot
A Microservice Architecture for Online Mobile App Optimization
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00050openalex-snapshot
Human-Machine Collaborative Testing for Android Applications
inferred← citeshttps://doi.org/10.1109/saner50967.2021.00027openalex-snapshot
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications
inferred← citeshttps://doi.org/10.1109/tdsc.2018.2889486openalex-snapshot
An Empirical Analysis of Hazardous Uses of Android Shared Storage
inferred← citeshttps://doi.org/10.1109/tifs.2019.2932228openalex-snapshot
Android HIV: A Study of Repackaging Malware for Evading Machine-Learning Detection
inferred← citeshttps://doi.org/10.1109/tmc.2017.2708716openalex-snapshot
Characterizing Privacy Risks of Mobile Apps with Sensitivity Analysis
inferred← citeshttps://doi.org/10.1109/tmc.2018.2861405openalex-snapshot
Android Malware Detection Using Complex-Flows
inferred← citeshttps://doi.org/10.1109/tsc.2016.2592909openalex-snapshot
ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets
inferred← citeshttps://doi.org/10.1109/tse.2016.2547385openalex-snapshot
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
inferred← citeshttps://doi.org/10.1109/tse.2016.2615307openalex-snapshot
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
inferred← citeshttps://doi.org/10.1109/tse.2019.2893207openalex-snapshot
Specifying Callback Control Flow of Mobile Apps Using Finite Automata
inferred← citeshttps://doi.org/10.1145/2771284.2771288openalex-snapshot
Droidel: a general approach to Android framework modeling
inferred← citeshttps://doi.org/10.1145/2786805.2786836openalex-snapshot
Detecting event anomalies in event-based systems
inferred← citeshttps://doi.org/10.1145/2814270.2814284openalex-snapshot
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties
inferred← citeshttps://doi.org/10.1145/2814270.2814293openalex-snapshot
Selective control-flow abstraction via jumping
inferred← citeshttps://doi.org/10.1145/2858965.2814284openalex-snapshot
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties
inferred← citeshttps://doi.org/10.1145/2858965.2814293openalex-snapshot
Selective control-flow abstraction via jumping
inferred← citeshttps://doi.org/10.1145/2889160.2889269openalex-snapshot
Fixing bug reporting for mobile and GUI-based applications
inferred← citeshttps://doi.org/10.1145/2892208.2892218openalex-snapshot
Static detection of energy defect patterns in Android applications
inferred← citeshttps://doi.org/10.1145/2896921.2896925openalex-snapshot
Fuzzy and cross-app replay for smartphone apps
inferred← citeshttps://doi.org/10.1145/2896921.2896930openalex-snapshot
Graph-aided directed testing of Android applications for checking runtime privacy behaviours
inferred← citeshttps://doi.org/10.1145/2896921.2896932openalex-snapshot
Automated test generation for detection of leaks in Android applications
inferred← citeshttps://doi.org/10.1145/2897073.2897097openalex-snapshot
Profiling the responsiveness of Android applications via automated resource amplification
inferred← citeshttps://doi.org/10.1145/2931021.2931026openalex-snapshot
On the unsoundness of static analysis for Android GUIs
inferred← citeshttps://doi.org/10.1145/2931037.2931044openalex-snapshot
DroidRA: taming reflection to support whole-program analysis of Android apps
inferred← citeshttps://doi.org/10.1145/2938559.2948874openalex-snapshot
Poster
inferred← citeshttps://doi.org/10.1145/2950290.2950297openalex-snapshot
Understanding and detecting wake lock misuses for Android applications
inferred← citeshttps://doi.org/10.1145/2951965.2951970openalex-snapshot
Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android
inferred← citeshttps://doi.org/10.1145/2970276.2970278openalex-snapshot
Relda2: an effective static analysis tool for resource leak detection in Android apps
inferred← citeshttps://doi.org/10.1145/2970276.2970320openalex-snapshot
Generating test cases to expose concurrency bugs in Android applications
inferred← citeshttps://doi.org/10.1145/2970276.2975935openalex-snapshot
Automated testing and notification of mobile app privacy leak-cause behaviours
inferred← citeshttps://doi.org/10.1145/3007120.3011072openalex-snapshot
Systematic Exploration of Android Apps' Events for Automated Testing
inferred← citeshttps://doi.org/10.1145/3029806.3029814openalex-snapshot
Ripple
inferred← citeshttps://doi.org/10.1145/3106237.3122821openalex-snapshot
RunDroid: recovering execution call graphs for Android applications
inferred← citeshttps://doi.org/10.1145/3180155.3180173openalex-snapshot
DetReduce
inferred← citeshttps://doi.org/10.1145/3180155.3180188openalex-snapshot
Launch-mode-aware context-sensitive activity transition analysis
inferred← citeshttps://doi.org/10.1145/3180155.3180223openalex-snapshot
EnMobile
inferred← citeshttps://doi.org/10.1145/3180155.3180249openalex-snapshot
Leveraging program analysis to reduce user-perceived latency in mobile applications
inferred← citeshttps://doi.org/10.1145/3197231.3197232openalex-snapshot
Analyzing the user interface of Android apps
inferred← citeshttps://doi.org/10.1145/3197231.3197236openalex-snapshot
An investigation into Android run-time permissions from the end users' perspective
inferred← citeshttps://doi.org/10.1145/3197231.3197249openalex-snapshot
P2A
inferred← citeshttps://doi.org/10.1145/3236024.3236073openalex-snapshot
Detection of energy inefficiencies in Android wear watch faces
inferred← citeshttps://doi.org/10.1145/3238147.3238181openalex-snapshot
Understanding and detecting callback compatibility issues for Android applications
inferred← citeshttps://doi.org/10.1145/3238147.3238188openalex-snapshot
TDroid: exposing app switching attacks in Android with control flow specialization
inferred← citeshttps://doi.org/10.1145/3275219.3275238openalex-snapshot
CrawlDroid
inferred← citeshttps://doi.org/10.1145/3319535.3363193openalex-snapshot
DeepIntent
inferred← citeshttps://doi.org/10.1145/3324884.3416553openalex-snapshot
Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts
inferred← citeshttps://doi.org/10.1145/3324884.3416642openalex-snapshot
UI obfuscation and its effects on automated UI analysis for Android apps
inferred← citeshttps://doi.org/10.1145/3382494.3410676openalex-snapshot
On the adoption, usage and evolution of Kotlin features in Android development
inferred← citeshttps://doi.org/10.1145/3427228.3427263openalex-snapshot
Certified Copy? Understanding Security Risks of Wi-Fi Hotspot based Android Data Clone Services
inferred← citeshttps://doi.org/10.1145/3433210.3437511openalex-snapshot
Measuring User Perception for Detecting Unexpected Access to Sensitive Resource in Mobile Apps
inferred← citeshttps://doi.org/10.1145/3458864.3466866openalex-snapshot
Marauder
inferred← citeshttps://doi.org/10.1145/3533767.3534413openalex-snapshot
Detecting resource utilization bugs induced by variant lifecycles in Android
inferred← citeshttps://doi.org/10.1145/3735544.3735583openalex-snapshot
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health
inferred← citeshttps://doi.org/10.1186/s13174-021-00134-xopenalex-snapshot
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption
inferred← citeshttps://doi.org/10.14288/1.0228781openalex-snapshot
Mobile app development : challenges and opportunities for automated support
inferred← citeshttps://doi.org/10.14722/bar.2019.23083openalex-snapshot
Symbolic Path Tracing to Find Android Permission-Use Triggers
inferred← citeshttps://doi.org/10.14722/ndss.2020.24080openalex-snapshot
Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking
inferred← citeshttps://doi.org/10.32628/cseit251112366openalex-snapshot
Demystifying App Performance Optimization: From Cold Starts to Seamless Transitions
inferred← citeshttps://doi.org/10.32657/10220/48041openalex-snapshot
Testing mobile applications via automated exploration of graphical user interface and textual user input generation
inferred← citeshttps://doi.org/10.48550/arxiv.1701.00161openalex-snapshot
Abstracting Event-Driven Systems with Lifestate Rules
inferred← citeshttps://doi.org/10.48550/arxiv.1801.06267openalex-snapshot
Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing
inferred← citeshttps://doi.org/10.48550/arxiv.1906.04924openalex-snapshot
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2105.03144openalex-snapshot
What do all these Buttons do? Statically Mining Android User Interfaces at Scale
inferred← citeshttps://doi.org/10.48550/arxiv.2111.05649openalex-snapshot
A Comprehensive Evaluation of Android ICC Resolution Techniques
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.