On the public citation graph
Automated concolic testing of smartphone apps
0 signed · 397 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-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_27openalex-snapshot
RWset: Attacking Path Explosion in Constraint-Based Test Generation
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_28openalex-snapshot
Demand-Driven Compositional Symbolic Execution
inferredcites →https://doi.org/10.1007/978-3-642-00768-2_27openalex-snapshot
Path Feasibility Analysis for String-Manipulating Programs
inferredcites →https://doi.org/10.1007/978-3-642-02658-4_41openalex-snapshot
Reducing Test Inputs Using Information Partitions
inferredcites →https://doi.org/10.1007/978-3-642-10373-5_4openalex-snapshot
Event Listener Analysis and Symbolic Execution for Testing GUI Applications
inferredcites →https://doi.org/10.1109/icst.2010.15openalex-snapshot
Rex: Symbolic Regular Expression Explorer
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.2000.885865openalex-snapshot
Generating test cases for GUI responsibilities using complete interaction sequences
inferredcites →https://doi.org/10.1109/tse.2009.68openalex-snapshot
Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback
inferredcites →https://doi.org/10.1109/tse.2010.12openalex-snapshot
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
inferredcites →https://doi.org/10.1109/tse.2010.50openalex-snapshot
GUI Interaction Testing: Incorporating Event Context
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/1108768.1108817openalex-snapshot
Generalizing symbolic execution to library classes
inferredcites →https://doi.org/10.1145/1108792.1108817openalex-snapshot
Generalizing symbolic execution to library classes
inferredcites →https://doi.org/10.1145/1190215.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1190216.1190226openalex-snapshot
Compositional dynamic test generation
inferredcites →https://doi.org/10.1145/1287624.1287708openalex-snapshot
Directed test generation using symbolic grammars
inferredcites →https://doi.org/10.1145/1375581.1375607openalex-snapshot
Grammar-based whitebox fuzzing
inferredcites →https://doi.org/10.1145/1390630.1390635openalex-snapshot
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
inferredcites →https://doi.org/10.1145/1572272.1572299openalex-snapshot
Loop-extended symbolic execution on binary programs
inferredcites →https://doi.org/10.1145/1831708.1831733openalex-snapshot
Exploiting program dependencies for scalable multiple-path symbolic execution
inferredcites →https://doi.org/10.1145/2001420.2001424openalex-snapshot
Automatic partial loop summarization in dynamic test generation
inferredcites →https://doi.org/10.1145/2025113.2025152openalex-snapshot
Path exploration based on symbolic output
inferredcites →https://doi.org/10.1145/2046707.2046779openalex-snapshot
Android permissions demystified
inferredcites →https://doi.org/10.1145/2393596.2393600openalex-snapshot
Retargeting Android applications to Java bytecode
inferredcites →https://doi.org/10.1145/355045.355050openalex-snapshot
Automated test oracles for GUIs
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
inferredcites →https://doi.org/10.5555/1924943.1924971openalex-snapshot
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones
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.4117551openalex-extracted
Remgtc Framework for Mobile Application Testing
inferred← citeshttps://doi.org/10.1002/sec.1290openalex-snapshot
An empirical investigation into path divergences for concolic execution using CREST
inferred← citeshttps://doi.org/10.1002/smr.2411openalex-snapshot
An Empirical Study on How Sapienz Achieves Coverage and Crash Detection
inferred← citeshttps://doi.org/10.1002/spe.2564openalex-snapshot
Mobolic: An automated approach to exercising mobile application GUIs using symbiosis of online testing technique and customated input generation
inferred← citeshttps://doi.org/10.1002/stvr.1538openalex-snapshot
Automatic testing of GUI‐based applications
inferred← citeshttps://doi.org/10.1002/stvr.1654openalex-snapshot
Why does the orientation change mess up my Android application? From GUI failures to code faults
inferred← citeshttps://doi.org/10.1002/stvr.1752openalex-snapshot
Functional test generation from UI test scenarios using reinforcement learning for android applications
inferred← citeshttps://doi.org/10.1007/978-3-030-48256-5_28openalex-snapshot
Mobile Application Testing and Assessment
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_23openalex-snapshot
Sound and Complete Concolic Testing for Higher-order Functions
inferred← citeshttps://doi.org/10.1007/978-3-031-25201-3_20openalex-snapshot
A Deep Reinforcement Learning-Based Approach for Android GUI Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-35257-7_3openalex-snapshot
OAT: An Optimized Android Testing Framework Based on Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-42991-0_3openalex-snapshot
An Anti-Fuzzing Approach for Android Apps
inferred← citeshttps://doi.org/10.1007/978-3-319-13257-0_20openalex-snapshot
Analyzing Android Browser Apps for file:// Vulnerabilities
inferred← citeshttps://doi.org/10.1007/978-3-319-21690-4_28openalex-snapshot
Systematic Asynchrony Bug Exploration for Android Apps
inferred← citeshttps://doi.org/10.1007/978-3-319-23509-7_13openalex-snapshot
Model Inference of Mobile Applications with Dynamic State Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-319-24018-3_12openalex-snapshot
How Current Android Malware Seeks to Evade Automated Code Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-24177-7_29openalex-snapshot
Web-to-Application Injection Attacks on Android: Characterization and Detection
inferred← citeshttps://doi.org/10.1007/978-3-319-24770-0_48openalex-snapshot
The Testing Method Based on Image Analysis for Automated Detection of UI Defects Intended for Mobile Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-49145-5_9openalex-snapshot
AppWalker: Efficient and Accurate Dynamic Analysis of Apps via Concolic Walking Along the Event-Dependency Graph
inferred← citeshttps://doi.org/10.1007/978-3-319-59608-2_19openalex-snapshot
IacCE: Extended Taint Path Guided Dynamic Analysis of Android Inter-App Data Leakage
inferred← citeshttps://doi.org/10.1007/978-3-319-91662-0_7openalex-snapshot
Form Filling Based on Constraint Solving
inferred← citeshttps://doi.org/10.1007/978-3-642-37057-1_19openalex-snapshot
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_18openalex-snapshot
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
inferred← citeshttps://doi.org/10.1007/978-981-99-4430-9_15openalex-snapshot
DyBAnd: Dynamic Behavior Based Android Malware Detection
inferred← citeshttps://doi.org/10.1007/s10515-018-0237-6openalex-snapshot
Static window transition graphs for Android
inferred← citeshttps://doi.org/10.1007/s10515-023-00394-wopenalex-snapshot
Crowdsourced test case generation for android applications via static program analysis
inferred← citeshttps://doi.org/10.1007/s10664-018-9640-7openalex-snapshot
GreenScaler: training software energy models with automatic test generation
inferred← citeshttps://doi.org/10.1007/s10664-019-09749-yopenalex-snapshot
Are free Android app security analysis tools effective in detecting known vulnerabilities?
inferred← citeshttps://doi.org/10.1007/s10664-023-10406-8openalex-snapshot
Semantic matching in GUI test reuse
inferred← citeshttps://doi.org/10.1007/s10664-026-10816-4openalex-snapshot
VLM-Fuzz: Vision language model assisted recursive depth-first search exploration for effective GUI testing of android apps
inferred← citeshttps://doi.org/10.1007/s11219-018-9418-6openalex-snapshot
Automated functional testing of mobile applications: a systematic mapping study
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/s11280-024-01252-9openalex-snapshot
A reinforcement learning-based approach to testing GUI of moblie applications
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.1007/s40869-019-00087-zopenalex-snapshot
MAuto: Automatic Mobile Game Testing Tool Using Image-Matching Based Approach
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.10.002openalex-snapshot
Advances in Symbolic Execution
inferred← citeshttps://doi.org/10.1016/bs.adcom.2022.09.001openalex-snapshot
FSMApp: Testing mobile apps
inferred← citeshttps://doi.org/10.1016/j.cose.2019.101663openalex-snapshot
DL-Droid: Deep learning based android malware detection using real devices
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.05.007openalex-snapshot
Goal-oriented dynamic test generation
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.012openalex-snapshot
Mutation operators for testing Android apps
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.08.004openalex-snapshot
On the impact of code smells on the energy consumption of mobile applications
inferred← citeshttps://doi.org/10.1016/j.jisa.2018.07.003openalex-snapshot
SWORD: Semantic aWare andrOid malwaRe Detector
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.002openalex-snapshot
SIT: Sampling-based interactive testing for self-adaptive apps
inferred← citeshttps://doi.org/10.1016/j.jss.2016.11.016openalex-snapshot
On building a cloud-based mobile testing infrastructure service system
inferred← citeshttps://doi.org/10.1016/j.jss.2016.12.017openalex-snapshot
A general framework for comparing automatic testing techniques of Android mobile apps
inferred← citeshttps://doi.org/10.1016/j.jss.2018.04.034openalex-snapshot
The exception handling riddle: An empirical study on the Android API
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.jss.2023.111773openalex-snapshot
Variable-strength combinatorial testing of exported activities based on misexposure prediction
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102522openalex-snapshot
Efficient testing of GUI applications by event sequence reduction
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103266openalex-snapshot
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation
inferred← citeshttps://doi.org/10.1049/sfw2.12123openalex-snapshot
A systematic mapping study for graphical user interface testing on mobile apps
inferred← citeshttps://doi.org/10.1109/access.2017.2706943openalex-snapshot
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution
inferred← citeshttps://doi.org/10.1109/access.2018.2794301openalex-snapshot
Robotic Arm Based 3D Reconstruction Test Automation
inferred← citeshttps://doi.org/10.1109/access.2018.2829466openalex-snapshot
Hand Jitter Reduction Algorithm Software Test Automation Using Robotic Arm
inferred← citeshttps://doi.org/10.1109/access.2018.2854754openalex-snapshot
Robotic Arm-Based Face Recognition Software Test Automation
inferred← citeshttps://doi.org/10.1109/access.2019.2902608openalex-snapshot
Acteve++: An Improved Android Application Automatic Tester Based on Acteve
inferred← citeshttps://doi.org/10.1109/access.2019.2951941openalex-snapshot
Theoretical Analysis and Empirical Evaluation of Coverage Indictors for Closed Source APP Testing
inferred← citeshttps://doi.org/10.1109/access.2019.2961918openalex-snapshot
Iotverif: Automatic Verification of SSL/TLS Certificate for IoT Applications
inferred← citeshttps://doi.org/10.1109/access.2022.3218902openalex-snapshot
Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay
inferred← citeshttps://doi.org/10.1109/aina.2015.238openalex-snapshot
ConDroid: Targeted Dynamic Analysis of Android Applications
inferred← citeshttps://doi.org/10.1109/apsec.2014.13openalex-snapshot
User Guided Automation for Testing Mobile Apps
inferred← citeshttps://doi.org/10.1109/apsec.2016.037openalex-snapshot
Testing Android Apps via Guided Gesture Event Generation
inferred← citeshttps://doi.org/10.1109/ares.2015.70openalex-snapshot
Towards Black Box Testing of Android Apps
inferred← citeshttps://doi.org/10.1109/ase.2015.21openalex-snapshot
Testing Cross-Platform Mobile App Development Frameworks (T)
inferred← citeshttps://doi.org/10.1109/ase.2015.76openalex-snapshot
Static Window Transition Graphs for Android (T)
inferred← citeshttps://doi.org/10.1109/ase.2015.89openalex-snapshot
Automated Test Input Generation for Android: Are We There Yet? (E)
inferred← citeshttps://doi.org/10.1109/ase.2017.8115614openalex-snapshot
Crowd intelligence enhances automated mobile testing
inferred← citeshttps://doi.org/10.1109/ase.2017.8115615openalex-snapshot
EHBDroid: Beyond GUI testing for Android applications
inferred← citeshttps://doi.org/10.1109/ase.2017.8115616openalex-snapshot
Sketch-guided GUI test generation for mobile applications
inferred← citeshttps://doi.org/10.1109/ase.2017.8115644openalex-snapshot
Automated cross-platform inconsistency detection for mobile apps
inferred← citeshttps://doi.org/10.1109/ase.2017.8115663openalex-snapshot
A comprehensive study on real world concurrency bugs in Node.js
inferred← citeshttps://doi.org/10.1109/ase.2017.8115696openalex-snapshot
Systematic reduction of GUI test sequences
inferred← citeshttps://doi.org/10.1109/ase.2019.00015openalex-snapshot
Test Transfer Across Mobile Apps Through Semantic Mapping
inferred← citeshttps://doi.org/10.1109/ase.2019.00020openalex-snapshot
A Qualitative Analysis of Android Taint-Analysis Results
inferred← citeshttps://doi.org/10.1109/ase.2019.00104openalex-snapshot
Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing
inferred← citeshttps://doi.org/10.1109/ase51524.2021.9678778openalex-snapshot
Deep GUI: Black-box GUI Input Generation with Deep Learning
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00197openalex-snapshot
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00135openalex-snapshot
Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory
inferred← citeshttps://doi.org/10.1109/asew60602.2023.00029openalex-snapshot
Chouette: An Automated Cross-Platform UI Crawler for Improving App Quality
inferred← citeshttps://doi.org/10.1109/ast.2017.6openalex-snapshot
High-Coverage Testing of Navigation Models in Android Applications
inferred← citeshttps://doi.org/10.1109/cbd.2015.30openalex-snapshot
Cloud-Based Infrastructure for Mobile Testing as a Service
inferred← citeshttps://doi.org/10.1109/cis.2015.99openalex-snapshot
Concolic Execute Fuzzing Based on Control-Flow Analysis
inferred← citeshttps://doi.org/10.1109/cns.2015.7346897openalex-snapshot
A fuzzing test for dynamic vulnerability detection on Android Binder mechanism
inferred← citeshttps://doi.org/10.1109/cns56114.2022.9947240openalex-snapshot
A Study on the Testing of Android Security Patches
inferred← citeshttps://doi.org/10.1109/compsac.2015.77openalex-snapshot
A Context-Aware Approach for Dynamic GUI Testing of Android Applications
inferred← citeshttps://doi.org/10.1109/compsac.2015.80openalex-snapshot
PATS: A Parallel GUI Testing Framework for Android Applications
inferred← citeshttps://doi.org/10.1109/compsac.2017.268openalex-snapshot
Xdroid: Testing Android Apps with Dependency Injection
inferred← citeshttps://doi.org/10.1109/compsac.2019.00021openalex-snapshot
ParaAim: Testing Android Applications Parallel at Activity Granularity
inferred← citeshttps://doi.org/10.1109/csf.2015.41openalex-snapshot
Understanding and Enforcing Opacity
inferred← citeshttps://doi.org/10.1109/cybersecpods.2017.8074845openalex-snapshot
Improving dynamic analysis of android apps using hybrid test input generation
inferred← citeshttps://doi.org/10.1109/dsn.2018.00075openalex-snapshot
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
inferred← citeshttps://doi.org/10.1109/hase.2014.30openalex-snapshot
Mobile Testing-as-a-Service (MTaaS) -- Infrastructures, Issues, Solutions and Needs
inferred← citeshttps://doi.org/10.1109/hase.2014.32openalex-snapshot
Testing of Memory Leak in Android Applications
inferred← citeshttps://doi.org/10.1109/icce-berlin.2018.8576199openalex-snapshot
Performance Measurement Automation for Linux Embedded Devices
inferred← citeshttps://doi.org/10.1109/iccece58074.2023.10135349openalex-snapshot
ConfigDroid: Configuration-aware GUI testing of Android Applications
inferred← citeshttps://doi.org/10.1109/iccsm60247.2023.00010openalex-snapshot
GUI Testing for Android Applications: A Survey
inferred← citeshttps://doi.org/10.1109/iceccs2018.2018.00014openalex-snapshot
Towards Mining Comprehensive Android Sandboxes
inferred← citeshttps://doi.org/10.1109/icicis52592.2021.9694216openalex-snapshot
Model-Based Test Case Generation Approach for Mobile Applications Load Testing using OCL Enhanced Activity Diagrams
inferred← citeshttps://doi.org/10.1109/icse-c.2017.45openalex-snapshot
Advancing Energy Testing of Mobile Applications
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-seip.2019.00039openalex-snapshot
SapFix: Automated End-to-End Repair at Scale
inferred← citeshttps://doi.org/10.1109/icse-seip55303.2022.9793948openalex-snapshot
Automated Visual Testing for Mobile Apps in an Industrial Setting
inferred← citeshttps://doi.org/10.1109/icse-seip66354.2025.00011openalex-snapshot
Agent for User: Testing Multi - User Interactive Features in TikTok
inferred← citeshttps://doi.org/10.1109/icse.2015.295openalex-snapshot
Verification of Android Applications
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.2017.65openalex-snapshot
Automatic Text Input Generation for Mobile Testing
inferred← citeshttps://doi.org/10.1109/icse.2019.00040openalex-snapshot
Mimic: UI Compatibility Testing System for Android Apps
inferred← citeshttps://doi.org/10.1109/icse.2019.00042openalex-snapshot
Practical GUI Testing of Android Applications Via Model Abstraction and Refinement
inferred← citeshttps://doi.org/10.1109/icse.2019.00115openalex-snapshot
Search-Based Energy Testing of Android
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00080openalex-snapshot
IMGDroid: Detecting Image Loading Defects in Android Applications
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00083openalex-snapshot
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00119openalex-snapshot
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00121openalex-snapshot
Columbus: Android App Testing Through Systematic Callback Exploration
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00168openalex-snapshot
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00142openalex-snapshot
Mobile Application Coverage: The 30% Curse and Ways Forward
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.47openalex-snapshot
How do Developers Test Android Applications?
inferred← citeshttps://doi.org/10.1109/icsme.2017.72openalex-snapshot
AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications
inferred← citeshttps://doi.org/10.1109/icst.2014.31openalex-snapshot
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps
inferred← citeshttps://doi.org/10.1109/icst.2015.7102609openalex-snapshot
Understanding the Test Automation Culture of App Developers
inferred← citeshttps://doi.org/10.1109/icst.2016.34openalex-snapshot
Automatically Discovering, Reporting and Reproducing Android Application Crashes
inferred← citeshttps://doi.org/10.1109/icst57152.2023.00013openalex-snapshot
Android Fuzzing: Balancing User-Inputs and Intents
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10989023openalex-snapshot
ADGE: Automated Directed GUI Explorer for Android Applications
inferred← citeshttps://doi.org/10.1109/icstw.2015.7107450openalex-snapshot
Towards mutation analysis of Android apps
inferred← citeshttps://doi.org/10.1109/icstw.2017.66openalex-snapshot
A Mechanism of Reliable and Standalone Script Generator on Android
inferred← citeshttps://doi.org/10.1109/icstw52544.2021.00023openalex-snapshot
SYSMODIS: A Systematic Model Discovery Approach
inferred← citeshttps://doi.org/10.1109/icstw60967.2024.00057openalex-snapshot
Automated Hybrid Fuzzing of Web APIs
inferred← citeshttps://doi.org/10.1109/ict4m.2014.7020665openalex-snapshot
Automated testing tools for mobile applications
inferred← citeshttps://doi.org/10.1109/ictus.2017.8286037openalex-snapshot
Automated complete test case coverage for web based applications
inferred← citeshttps://doi.org/10.1109/icws.2016.61openalex-snapshot
Toward Discovering and Exploiting Private Server-Side Web APIs
inferred← citeshttps://doi.org/10.1109/imccc.2016.20openalex-snapshot
Research on Android Vulnerability Mining Technology Based on Control Flow Analysis
inferred← citeshttps://doi.org/10.1109/issre.2013.6698894openalex-snapshot
Systematic testing for resource leaks in Android applications
inferred← citeshttps://doi.org/10.1109/issre.2015.7381839openalex-snapshot
SIG-Droid: Automated system input generation for Android applications
inferred← citeshttps://doi.org/10.1109/issre.2019.00039openalex-snapshot
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks
inferred← citeshttps://doi.org/10.1109/issre55969.2022.00053openalex-snapshot
DALT: Deep Activity Launching Test via Intent-Constraint Extraction
inferred← citeshttps://doi.org/10.1109/malware.2018.8659365openalex-snapshot
SpyDroid: A Framework for Employing Multiple Real-Time Malware Detectors on Android
inferred← citeshttps://doi.org/10.1109/mc.2013.445openalex-snapshot
Mobile Application Testing: A Tutorial
inferred← citeshttps://doi.org/10.1109/memcod.2015.7340480openalex-snapshot
Passive testing of production systems based on model inference
inferred← citeshttps://doi.org/10.1109/miccis66057.2025.00068openalex-snapshot
DDDroid: An Automate Dynamic Malicious Behavior Extraction Framework
inferred← citeshttps://doi.org/10.1109/milcom.2013.168openalex-snapshot
Automated Execution Control and Dynamic Behavior Monitoring for Android (TM) Applications
inferred← citeshttps://doi.org/10.1109/mobilesoft.2019.00018openalex-snapshot
PerfProbe: A Systematic, Cross-Layer Performance Diagnosis Framework for Mobile Platforms
inferred← citeshttps://doi.org/10.1109/mobs.2013.6614215openalex-snapshot
Testing for poor responsiveness in android applications
inferred← citeshttps://doi.org/10.1109/ms.2014.55openalex-snapshot
MobiGUITAR: Automated Model-Based Testing of Mobile Apps
inferred← citeshttps://doi.org/10.1109/ms.2015.133openalex-snapshot
Refactoring for Asynchronous Execution on Mobile Devices
inferred← citeshttps://doi.org/10.1109/ms.2015.152openalex-snapshot
Refactoring for Asynchronous Execution on Mobile
inferred← citeshttps://doi.org/10.1109/msr.2015.18openalex-snapshot
Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios
inferred← citeshttps://doi.org/10.1109/pst.2018.8514191openalex-snapshot
A Family of Droids-Android Malware Detection via Behavioral Modeling: Static vs Dynamic Analysis
inferred← citeshttps://doi.org/10.1109/qrs.2017.12openalex-snapshot
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications
inferred← citeshttps://doi.org/10.1109/qrs.2017.14openalex-snapshot
Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps
inferred← citeshttps://doi.org/10.1109/qrs.2019.00021openalex-snapshot
Efficient Evolutionary Fuzzing for Android Application Installation Process
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00076openalex-snapshot
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00029openalex-snapshot
LLM for Test Script Generation and Migration: Challenges, Capabilities, and Opportunities
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00017openalex-snapshot
PADRAIG: Precise Android Automated Input Generation
inferred← citeshttps://doi.org/10.1109/quatic.2014.47openalex-snapshot
Automated Pattern-Based Testing of Mobile Applications
inferred← citeshttps://doi.org/10.1109/saner.2018.8330231openalex-snapshot
Mining sandboxes: Are we there yet?
inferred← citeshttps://doi.org/10.1109/saner53432.2022.00047openalex-snapshot
A Lightweight Approach of Human-Like Playtest for Android Apps
inferred← citeshttps://doi.org/10.1109/scam.2018.00018openalex-snapshot
[Research Paper] Semantics-Based Code Search Using Input/Output Examples
inferred← citeshttps://doi.org/10.1109/seai55746.2022.9832177openalex-snapshot
Q-funcT: A Reinforcement Learning Approach for Automated Black Box Functionality Testing
inferred← citeshttps://doi.org/10.1109/smc.2014.6974494openalex-snapshot
Method sequence generation for multiple object states using dynamic symbolic execution
inferred← citeshttps://doi.org/10.1109/sp.2019.00034openalex-snapshot
Towards Automated Safety Vetting of PLC Code in Real-World Plants
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00024openalex-snapshot
VerX: Safety Verification of Smart Contracts
inferred← citeshttps://doi.org/10.1109/sp40000.2020.00071openalex-snapshot
TextExerciser: Feedback-driven Text Input Exercising for Android Applications
inferred← citeshttps://doi.org/10.1109/tmc.2018.2886881openalex-snapshot
Automated Hybrid Analysis of Android Malware through Augmenting Fuzzing with Forced Execution
inferred← citeshttps://doi.org/10.1109/tmc.2019.2936561openalex-snapshot
Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation
inferred← citeshttps://doi.org/10.1109/tr.2018.2865733openalex-snapshot
Automated Testing of Android Apps: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/tr.2019.2928459openalex-snapshot
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications
inferred← citeshttps://doi.org/10.1109/trustcom50675.2020.00054openalex-snapshot
ReDex: Unpacking Android Packed Apps by Executing Every Method
inferred← citeshttps://doi.org/10.1109/trustcom56396.2022.00062openalex-snapshot
A Comparative Study on the Security of Cryptocurrency Wallets in Android System
inferred← citeshttps://doi.org/10.1109/tse.2014.2323982openalex-snapshot
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
inferred← citeshttps://doi.org/10.1109/tse.2014.2331982openalex-snapshot
On the Accuracy, Efficiency, and Reusability of Automated Test Oracles for Android Devices
inferred← citeshttps://doi.org/10.1109/tse.2015.2488645openalex-snapshot
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
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.2017.2689012openalex-snapshot
EnergyPatch: Repairing Resource Leaks to Improve Energy-Efficiency of Android Apps
inferred← citeshttps://doi.org/10.1109/tse.2017.2697848openalex-snapshot
Towards Model Checking Android Applications
inferred← citeshttps://doi.org/10.1109/tse.2018.2844788openalex-snapshot
Machine Learning-Based Prototyping of Graphical User Interfaces for Mobile Apps
inferred← citeshttps://doi.org/10.1109/tse.2020.3013438openalex-snapshot
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps
inferred← citeshttps://doi.org/10.1109/tse.2022.3174028openalex-snapshot
Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps
inferred← citeshttps://doi.org/10.1109/tse.2025.3614469openalex-snapshot
Seeing is Believing: Vision-Driven Non-Crash Functional Bug Detection for Mobile Apps
inferred← citeshttps://doi.org/10.1109/wcre.2013.6671275openalex-snapshot
The first decade of GUI ripping: Extensions, applications, and broader impacts
inferred← citeshttps://doi.org/10.1142/s0218194021500042openalex-snapshot
Automated Visual Testing of Application User Interfaces Using Static Analysis of Screenshots
inferred← citeshttps://doi.org/10.1142/s0219265917400023openalex-snapshot
Improving Smartphone Security and Reliability
inferred← citeshttps://doi.org/10.1145/2382756.2382798openalex-snapshot
Testing android apps through symbolic execution
inferred← citeshttps://doi.org/10.1145/2483760.2483777openalex-snapshot
Automated testing with targeted event sequence generation
inferred← citeshttps://doi.org/10.1145/2491411.2491450openalex-snapshot
Dynodroid: an input generation system for Android apps
inferred← citeshttps://doi.org/10.1145/2500727.2500733openalex-snapshot
The case for mobile forensics of private data leaks
inferred← citeshttps://doi.org/10.1145/2501553.2501556openalex-snapshot
MZoltar: automatic debugging of Android applications
inferred← citeshttps://doi.org/10.1145/2509136.2509549openalex-snapshot
Targeted and depth-first exploration for systematic testing of android apps
inferred← citeshttps://doi.org/10.1145/2509136.2509552openalex-snapshot
Guided GUI testing of android apps with minimal restart and approximate learning
inferred← citeshttps://doi.org/10.1145/2544173.2509549openalex-snapshot
Targeted and depth-first exploration for systematic testing of android apps
inferred← citeshttps://doi.org/10.1145/2544173.2509552openalex-snapshot
Guided GUI testing of android apps with minimal restart and approximate learning
inferred← citeshttps://doi.org/10.1145/2592798.2592813openalex-snapshot
Efficiently, effectively detecting mobile app bugs with AppDoctor
inferred← citeshttps://doi.org/10.1145/2593882.2593885openalex-snapshot
Software testing: a research travelogue (2000–2014)
inferred← citeshttps://doi.org/10.1145/2594368.2594377openalex-snapshot
Automatic and scalable fault detection for mobile applications
inferred← citeshttps://doi.org/10.1145/2631890.2631896openalex-snapshot
Modeling mobile application test platform and environment: testing criteria and complexity analysis
showing the first 200 of 359 · page through all 359
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.