Testing android apps through symbolic execution

No abstract is available for this paper.

• Publication year

  2012

• Venue

  ACM SIGSOFT Softw. Eng. Notes

• Publication date

  2012-11-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2382756.2382798
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A whitebox approach for automated security testing of Android applications on the cloud

  2012cited by this paper
• Automated concolic testing of smartphone apps

  2012cited by this paper
• JPF-AWT: Model checking GUI applications

  2011cited by this paper
• A GUI Crawling-Based Technique for Android Mobile Application Testing

  2011cited by this paper
• Symbolic execution for software testing in practice: preliminary assessment

  2011cited by this paper
• Grammar-based whitebox fuzzing

  2008cited by this paper
• Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution

  2008cited by this paper
• Automated Whitebox Fuzz Testing

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

  2005cited by this paper
• A style-aware architectural middleware for resource-constrained, distributed systems

  2005cited by this paper
• Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software

  2005cited by this paper
• Test input generation with java PathFinder

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

  2003cited 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
• A new approach to program testing

  1974cited by this paper

• Empc: Effective Path Prioritization for Symbolic Execution with Path Cover

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

  2025cites this paper
• Recommending and release planning of user-driven functionality deletion for mobile apps

  2024cites this paper
• Careful About What App Promotion Ads Recommend! Detecting and Explaining Malware Promotion via App Promotion Graph

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

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

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

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

  2023cites this paper
• User Driven Functionality Deletion for Mobile Apps

  2023cites this paper
• ANALISIS KREDENSIAL UNTUK KONFIGURASI KEAMANANAN ROM ANDROID CUSTOM

  2023cites this paper
• PROMAL: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning

  2022cites this paper
• Automated test generation for Scratch programs

  2022cites this paper
• Android Based Multi-Lingual SMS Spam Prototype Design and Development

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

  2022cites this paper
• Android malware detection via an app similarity graph

  2021cites this paper
• Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms

  2021cites this paper
• A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity

  2020cites this paper
• You Shall not Repackage! A Journey into the World of Anti-Repackaging on Android

  2020cites this paper
• Automated Functional Fuzzing of Android Apps

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

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

  2020cites this paper
• ReDex: Unpacking Android Packed Apps by Executing Every Method

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

  2020cites this paper
• Static Energy Consumption Analysis for Android Applications

  2020cites this paper
• Testing scratch programs automatically

  2019cites this paper
• Scripted GUI testing of Android open-source apps: evolution of test code and fragility causes

  2019cites this paper
• Mobile GUI Testing Fragility: A Study on Open-Source Android Applications

  2019cites this paper
• Acteve++: An Improved Android Application Automatic Tester Based on Acteve

  2019cites this paper
• Towards Automated Safety Vetting of PLC Code in Real-World Plants

  2019influential citation
• Mimic: UI Compatibility Testing System for Android Apps

  2019cites this paper
• Exploring Syscall-Based Semantics Reconstruction of Android Applications

  2019cites this paper
• Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

  2019influential citation
• Chapter Five - Advances in Symbolic Execution

  2019cites this paper
• Goal-Driven Exploration for Android Applications

  2019cites this paper
• Automated Testing of Android Apps: A Systematic Literature Review

  2019cites this paper
• Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android

  2019cites this paper
• QADroid: regression event selection for Android applications

  2019cites this paper
• Does Diversity Improve the Test Suite Generation for Mobile Applications?

  2019cites this paper
• Resetting Your Password Is Vulnerable: A Security Study of Common SMS-Based Authentication in IoT Device

  2018cites this paper
• Efficiently Manifesting Asynchronous Programming Errors in Android Apps

  2018cites this paper
• Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution

  2018cites this paper
• Android Testing via Synthetic Symbolic Execution

  2018cites this paper
• Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling

  2018cites this paper
• CrawlDroid: Effective Model-based GUI Testing of Android Apps

  2018cites this paper
• Automated functional testing of mobile applications: a systematic mapping study

  2018influential citation
• ConsiDroid: A Concolic-based Tool for Detecting SQL Injection Vulnerability in Android Apps

  2018cites this paper
• SmartThings Backend Cloud Groovy-Based Sandbox Permission ( Capability ) System Groovy-Based Sandbox [ Cmd / Attr ] [ Events ] SmartThings Hub SmartAppDevice Handler Smartphone

  2018cites this paper
• On the Robustness of Stochastic Stealthy Network Against Android App Repackaging *

  2018cites this paper
• Mobolic: An automated approach to exercising mobile application GUIs using symbiosis of online testing technique and customated input generation

  2018cites this paper
• Hand Jitter Reduction Algorithm Software Test Automation Using Robotic Arm

  2018cites this paper
• Robotic Arm Based 3D Reconstruction Test Automation

  2018cites this paper
• DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis

  2018cites this paper
• Static Analysis Tools X Code Coverage Improvement Module Modified Android Runtime Collected Files Target Application Revealed Application Just-inTime Collecting Offline Reassembling

  2018cites this paper
• Why does the orientation change mess up my Android application? From GUI failures to code faults

  2018cites this paper
• Repairing Crashes in Android Apps

  2018cites this paper
• Towards Model Checking Android Applications

  2018cites this paper
• Robotic Arm-Based Face Recognition Software Test Automation

  2018cites this paper
• AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications

  2017cites this paper
• Scripted GUI Testing of Android Apps: A Study on Diffusion, Evolution and Fragility

  2017cites this paper
• Testing and debugging: A reality check

  2017cites this paper
• The perceived usability of automated testing tools for mobile applications

  2017cites this paper
• Sketch-guided GUI test generation for mobile applications

  2017cites this paper
• System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation

  2017cites this paper
• AUTHSCOPE: Towards Automatic Discovery of Vulnerable Authorizations in Online Services

  2017cites this paper
• Frameworks compiled from declarations: a language‐independent approach

  2017cites this paper
• Guided, stochastic model-based GUI testing of Android apps

  2017cites this paper
• Systematic reduction of GUI test sequences

  2017cites this paper
• SMARTGEN: Exposing Server URLs of Mobile Apps With Selective Symbolic Execution

  2017cites this paper
• Mobile Application Testing

  2017cites this paper
• Static analysis of android apps: A systematic literature review

  2017cites this paper
• High-Coverage Testing of Navigation Models in Android Applications

  2017cites this paper
• Mutation operators for testing Android apps

  2017cites this paper
• Making Malory Behave Maliciously: Targeted Fuzzing of Android Execution Environments

  2017cites this paper
• AUTOMATED SYSTEMS FOR TESTING ANDROID APPLICATIONS TO DETECT SENSITIVE INFORMATION LEAKAGE

  2017cites this paper
• Automated Test Input Generation for Android: Towards Getting There in an Industrial Case

  2017cites this paper
• Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments

  2017cites this paper
• 模型驱动的移动应用测试方法 (Model-driven Testing for Mobile Applications)

  2017cites this paper
• Mobile Application Security in the Presence of Dynamic Code Updates

  2017cites this paper
• SPOKE: Scalable Knowledge Collection and Attack Surface Analysis of Access Control Policy for Security Enhanced Android

  2017cites this paper
• Automated model-based Android GUI testing using multi-level GUI comparison criteria

  2016cites this paper
• Sapienz: multi-objective automated testing for Android applications

  2016cites this paper
• Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps

  2016cites this paper
• TriggerScope: Towards Detecting Logic Bombs in Android Applications

  2016cites this paper
• Framework synthesis for Symbolic Execution of Event-Driven Frameworks

  2016cites this paper
• NChecker: saving mobile app developers from network disruptions

  2016cites this paper
• Reducing Combinatorics in GUI Testing of Android Applications

  2016cites this paper
• Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps

  2016cites this paper
• JFORTES: Java Formal Unit TESt Generation

  2016cites this paper
• Security quality assurance through penetration testing

  2016cites this paper
• DiagDroid: Android performance diagnosis via anatomizing asynchronous executions

  2016cites this paper
• E-greenDroid: effective energy inefficiency analysis for android applications

  2016cites this paper
• FSMdroid: Guided GUI Testing of Android Apps

  2016cites this paper
• Problems and Solutions in Mobile Application Testing

  2016influential citation
• Automated Input Generation Techniques for Testing Android Applications

  2016cites this paper
• LogChamber : Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs

  2016cites this paper
• Systematic discovery of Android customization hazards

  2016cites this paper
• LogChamber: Inferring Source Code Locations Corresponding to Mobile Applications Run-time Logs

  2016cites this paper
• Automated analysis of energy efficiency and execution performance for mobile applications

  2015cites this paper
• Declaration-Driven Frameworks: A Language-Agnostic Approach

  2015cites this paper
• Testing-as-a-Service for Mobile Applications: State-of-the-Art Survey

  2015cites this paper