Automated concolic testing of smartphone apps

No abstract is available for this paper.

• Publication year

  2012

• Venue

  SIGSOFT FSE

• Publication date

  2012-11-11

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2393596.2393666
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Retargeting Android applications to Java bytecode

  2012cited by this paper
• Path exploration based on symbolic output

  2011cited by this paper
• CloneCloud: elastic execution between mobile device and cloud

  2011cited by this paper
• Automatic partial loop summarization in dynamic test generation

  2011cited by this paper
• Experiences of System-Level Model-Based GUI Testing of an Android Application

  2011influential reference
• Android permissions demystified

  2011cited by this paper
• Higher-order test generation

  2011cited by this paper
• GUI Interaction Testing: Incorporating Event Context

  2011cited by this paper
• Supplement to : Developing a Single Model and Test Prioritization Strategies for Event-Driven Software

  2010cited by this paper
• TaintDroid

  2010cited by this paper
• Rex: Symbolic Regular Expression Explorer

  2010cited by this paper
• Soot: a Java bytecode optimization framework

  2010cited by this paper
• Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

  2010cited by this paper
• Exploiting program dependencies for scalable multiple-path symbolic execution

  2010cited by this paper
• Path Feasibility Analysis for String-Manipulating Programs

  2009cited by this paper
• Loop-extended symbolic execution on binary programs

  2009cited by this paper
• Event Listener Analysis and Symbolic Execution for Testing GUI Applications

  2009cited by this paper
• Reducing Test Inputs Using Information Partitions

  2009cited by this paper
• Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

  2008cited by this paper
• Grammar-based whitebox fuzzing

  2008cited by this paper
• Demand-Driven Compositional Symbolic Execution

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• Automated Whitebox Fuzz Testing

  2008cited by this paper
• RWset: Attacking Path Explosion in Constraint-Based Test Generation

  2008cited by this paper
• Directed test generation using symbolic grammars

  2007cited by this paper
• Compositional dynamic test generation

  2007cited by this paper
• Hybrid Concolic Testing

  2007cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• Generalizing symbolic execution to library classes

  2005cited by this paper
• Regression testing of GUIs

  2003cited by this paper
• GUI ripping: reverse engineering of graphical user interfaces for testing

  2003cited by this paper
• A comprehensive framework for testing graphical user interfaces

  2001cited by this paper
• Generating test cases for GUI responsibilities using complete interaction sequences

  2000cited by this paper
• Automated test oracles for GUIs

  2000cited by this paper
• Soot---a java optimization framework

  1999cited by this paper

• Just-in-Time Catching Test Generation at Meta

  2026cites this paper
• Context-Aware Functional Test Generation via Business Logic Extraction and Adaptation

  2026cites this paper
• TaOPT: Tool-Agnostic Optimization of Parallelized Automated Mobile UI Testing

  2025cites this paper
• Agent for User: Testing Multi - User Interactive Features in TikTok

  2025cites this paper
• ADGE: Automated Directed GUI Explorer for Android Applications

  2025cites this paper
• APEX: Automatic Event Sequence Generation for Android Applications

  2025cites this paper
• HapTest: The Dynamic Analysis Framework for OpenHarmony

  2025cites this paper
• Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation

  2025cites this paper
• VLM-Fuzz: Vision language model assisted recursive depth-first search exploration for effective GUI testing of android apps

  2025influential citation
• Improving Test Efficacy for Large-Scale Android Applications by Exploiting GUI and Functional Equivalence

  2025cites this paper
• Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory

  2025cites this paper
• DDDroid: An Automate Dynamic Malicious Behavior Extraction Framework

  2025cites this paper
• Mobile Application Coverage: The 30% Curse and Ways Forward

  2025cites this paper
• GUI Test Migration via Abstraction and Concretization

  2024cites this paper
• PADRAIG: Precise Android Automated Input Generation

  2024cites this paper
• LLM-based Abstraction and Concretization for GUI Test Migration

  2024cites this paper
• Semantic Constraint Inference for Web Form Test Generation

  2024cites this paper
• Vision-driven Automated Mobile GUI Testing via Multimodal Large Language Model

  2024cites this paper
• Automated Hybrid Fuzzing of Web APIs

  2024cites this paper
• Who Should We Blame for Android App Crashes? An In-Depth Study at Scale and Practical Resolutions

  2024cites this paper
• A reinforcement learning-based approach to testing GUI of moblie applications

  2024cites this paper
• SAIN: Improving ICS Attack Detection Sensitivity via State-Aware Invariants

  2024cites this paper
• Assured LLM-Based Software Engineering

  2024cites this paper
• Semantic matching in GUI test reuse

  2024cites this paper
• Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

  2024cites this paper
• Synthesis-Based Enhancement for GUI Test Case Migration

  2024cites this paper
• Automated Test Transfer across Android Apps using Large Language Models

  2024cites this paper
• Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning

  2024cites this paper
• Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey

  2024cites this paper
• Guardian: A Runtime Framework for LLM-Based UI Exploration

  2024cites this paper
• AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps

  2024cites this paper
• Enhancing Testing at Meta with Rich-State Simulated Populations

  2024cites this paper
• Skill-Adpative Imitation Learning for UI Test Reuse

  2024cites this paper
• VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage

  2023cites this paper
• Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network

  2023cites this paper
• Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model

  2023cites this paper
• Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception

  2023cites this paper
• Columbus: Android App Testing Through Systematic Callback Exploration

  2023influential citation
• Chouette: An Automated Cross-Platform UI Crawler for Improving App Quality

  2023cites this paper
• LLM for Test Script Generation and Migration: Challenges, Capabilities, and Opportunities

  2023cites this paper
• An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software

  2023cites this paper
• Idle Strategy of Smart Monkey to Enhance Testing Operable GUI Regions

  2023cites this paper
• CydiOS: A Model-Based Testing Framework for iOS Apps

  2023cites this paper
• Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing

  2023influential citation
• Crowdsourced test case generation for android applications via static program analysis

  2023cites this paper
• The Journal of Systems and Software

  2023cites this paper
• Android Fuzzing: Balancing User-Inputs and Intents

  2023cites this paper
• ConfigDroid: Configuration-aware GUI testing of Android Applications

  2023cites this paper
• Learning-based Widget Matching for Migrating GUI Test Cases

  2023cites this paper
• Variable-strength combinatorial testing of exported activities based on misexposure prediction

  2023cites this paper
• Detecting and fixing data loss issues in Android apps

  2022cites this paper
• Q-funcT: A Reinforcement Learning Approach for Automated Black Box Functionality Testing

  2022cites this paper
• Preference-wise Testing of Android Apps via Test Amplification

  2022cites this paper
• CONFETTI: Amplifying Concolic Guidance for Fuzzers

  2022cites this paper
• DeltaDroid: Dynamic Delivery Testing in Android

  2022cites this paper
• Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps

  2022cites this paper
• Driving Execution of Target Paths in Android Applications with (a) CAR

  2022cites this paper
• A Lightweight Approach of Human-Like Playtest for Android Apps

  2022cites this paper
• Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay

  2022cites this paper
• Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications

  2022cites this paper
• A Comparative Study on the Security of Cryptocurrency Wallets in Android System

  2022cites this paper
• Automated Visual Testing for Mobile Apps in an Industrial Setting

  2022influential citation
• DALT: Deep Activity Launching Test via Intent-Constraint Extraction

  2022cites this paper
• Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps

  2022cites this paper
• A Study on the Testing of Android Security Patches

  2022cites this paper
• Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing

  2022cites this paper
• Route: Roads Not Taken in UI Testing

  2022cites this paper
• Iotverif: Automatic Verification of SSL/TLS Certificate for IoT Applications

  2021cites this paper
• SYSMODIS: A Systematic Model Discovery Approach

  2021cites this paper
• Automated, Dynamic Android App Vulnerability and Privacy Leak Analysis: Design Considerations, Required Components and Available Tools

  2021cites this paper
• A Scoping Review on Automated Software Testing with Special Reference to Android Based Mobile Application Testing

  2021cites this paper
• An Empirical Study on How Sapienz Achieves Coverage and Crash Detection

  2021cites this paper
• Deep GUI: Black-box GUI Input Generation with Deep Learning

  2021cites this paper
• Vet: identifying and avoiding UI exploration tarpits

  2021cites this paper
• Exploring Software Security Test Generation Techniques: Challenges and Opportunities

  2021cites this paper
• Semantic matching of GUI events for test reuse: are we there yet?

  2021cites this paper
• IMGDroid: Detecting Image Loading Defects in Android Applications

  2021cites this paper
• A Lightweight Approach of Human-Like Playtesting

  2021cites this paper
• DroidbotX: Test Case Generation Tool for Android Applications Using Q-Learning

  2021cites this paper
• Deep Reinforcement Learning for Black-box Testing of Android Apps

  2021cites this paper
• An infrastructure approach to improving effectiveness of Android UI testing tools

  2021cites this paper
• Sound and Complete Concolic Testing for Higher-order Functions

  2021cites this paper
• Efficient testing of GUI applications by event sequence reduction

  2021cites this paper
• Testing Smart Contracts: Which Technique Performs Best?

  2021cites this paper
• Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications

  2020cites this paper
• Time-travel Testing of Android Apps

  2020cites this paper
• WIZARD: An Intelligent Approach to Prepare Android Devices for Reproducible Tests

  2020cites this paper
• Effective testing of Android apps using extended IFML models

  2020cites this paper
• TextExerciser: Feedback-driven Text Input Exercising for Android Applications

  2020cites this paper
• VerX: Safety Verification of Smart Contracts

  2020cites this paper
• GUI testing for mobile applications: objectives, approaches and challenges

  2020cites this paper
• Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation

  2020influential citation
• ReDex: Unpacking Android Packed Apps by Executing Every Method

  2020cites this paper
• Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs

  2020cites this paper
• Making symbolic execution promising by learning aggressive state-pruning strategy

  2020cites this paper
• An Empirical Analysis of Test Input Generation Tools for Android Apps through a Sequence of Events

  2020cites this paper
• Functional test generation from UI test scenarios using reinforcement learning for android applications

  2020cites this paper
• Content Analyzer for Information Leakage Detedction and Prevention in Android Smart Devices: A Conceptual Approach.

  2020cites this paper
• A GUI Testing Strategy and Tool for Android Apps

  2020cites this paper
• Prioritising Server Bugs via Inter-process Concolic Testing

  2020cites this paper