Filters








5,273 Hits in 6.8 sec

Automated Test Input Generation for Android: Are We There Yet? [article]

Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso
2015 arXiv   pre-print
main existing test input generation tools for Android.  ...  efficient testing tools for Android.  ...  Acknowledgments We would like to thank the authors of the tools, (specifically, Saswat Anand, Domenico Amalfitano, Aravind Machiry, Tanzirul Azim, Wontae Choi, and Shuai Hao) for making their tools available  ... 
arXiv:1503.07217v2 fatcat:46ah67fszvavdglx7na526r43i

Automated Test Input Generation for Android: Are We There Yet? (E)

Shauvik Roy Choudhary, Alessandra Gorla, Alessandro Orso
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
main existing test input generation tools for Android.  ...  At this point in time, there are in fact a number of such techniques in the literature, which differ in the way they generate inputs, the strategy they use to explore the behavior of the app under test  ...  ACKNOWLEDGMENTS We thank the authors of the tools we studied for making their tools available and helping with the tools setup.  ... 
doi:10.1109/ase.2015.89 dblp:conf/kbse/ChoudharyGO15 fatcat:7oolagv4jjf7df4zubq2eo6oma

Mining sandboxes: Are we there yet?

Lingfeng Bao, Tien-Duy B. Le, David Lo
2018 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
To generate inputs to apps, we investigate five popular test case generation tools: Monkey, Droidmate, Droidbot, GUIRipper, and PUMA.  ...  In the first experiment, we select 10 apps and allow test case generation tools to run for one hour; while in the second experiment, we select 102 pairs of apps and allow the test case generation tools  ...  Automated Test Case Generation Tools for Android There are a number of automated test generation tools for Android proposed in the literature.  ... 
doi:10.1109/saner.2018.8330231 dblp:conf/wcre/BaoLL18 fatcat:4hlopqdnnresjjdyjl3qqug3ou

Reducing combinatorics in GUI testing of android applications

Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, Sam Malek
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
This paper presents TrimDroid, a framework for GUI testing of Android apps that uses a novel strategy to generate tests in a combinatorial, yet scalable, fashion.  ...  The rising popularity of Android and the GUI-driven nature of its apps have motivated the need for applicable automated GUI testing techniques.  ...  Hence, there is an increasing demand for applicable automated testing techniques.  ... 
doi:10.1145/2884781.2884853 dblp:conf/icse/MirzaeiGBSM16 fatcat:d5eflna7djdnxbuvqgamyhivea

Goal-Driven Exploration for Android Applications

Duling Lai, Julia Rubin
2019 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Existing application testing techniques are not suitable for goal-driven exploration because they cannot promptly navigate to the functionality of interest.  ...  Existing automated application exploration and testing techniques are of limited help in this scenario as well, as their goal is mostly to identify faults by systematically exploring different app paths  ...  Random Testing. Random testing techniques generate random, independent input events sequences during the test session.  ... 
doi:10.1109/ase.2019.00021 dblp:conf/kbse/LaiR19 fatcat:oyyzy2cub5c3llgrbxsivckuj4

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover [chapter]

Eric Smith, Alessandro Coglio
2016 Lecture Notes in Computer Science  
Its main disadvantage is that it requires significant user effort, but we are working to improve the automation of the proof process.  ...  Our formal Android model is an executable simulator of a growing subset of the Android platform, and app proofs are done by automated symbolic execution of the app's event handlers using the formal model  ...  We are extending our formal model to cover more Android features and are tackling the verification of larger and more complex apps.  ... 
doi:10.1007/978-3-319-29613-5_11 fatcat:s7zqxdbnejhszjiyblwm4c5rpa

FraudDroid: Automated Ad Fraud Detection for Android Apps [article]

Feng Dong, Haoyu Wang, Li Li, Yao Guo, Tegawende F. Bissyande, Tianming Liu, Guoai Xu, Jacques Klein
2018 arXiv   pre-print
We then propose, FraudDroid, a novel hybrid approach to detect ad frauds in mobile Android apps.  ...  for identifying ad fraudulent behaviours.  ...  One critical step to perform automated app testing is to generate reliable test inputs [10] .  ... 
arXiv:1709.01213v4 fatcat:pjbywoikenel7doaoyouquu73a

Android Controlled Home Automation

2021 American Journal of Electronics & Communication  
Therefore, for distance estimation in IndoorGML maps, we apply combinatorial and sampling-based approaches.  ...  for indoor environments.  ...  So if there are n PSLs in a stripe we get n-1 distances. This is done for all stripes. We compute the statistical mode (MPSL) of such distances.  ... 
doi:10.15864/ajec.1303 fatcat:sitz5xykknhahawc54yptjptqa

Automatically Discovering, Reporting and Reproducing Android Application Crashes

Kevin Moran, Mario Linares-Vasquez, Carlos Bernal-Cardenas, Christopher Vendome, Denys Poshyvanyk
2016 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)  
We evaluated CRASHSCOPE's effectiveness in discovering crashes as compared to five state-of-the-art Android input generation tools on 61 applications.  ...  Additionally, in a study analyzing eight real-world Android app crashes, we found that CRASHSCOPE's reports are easily readable and allow for reliable reproduction of crashes by presenting more explicit  ...  We would like to thank the anonymous reviewers for their insightful comments that significantly improved this paper and the authors of the Androtest benchmark tools [29] for their aid in reproducing  ... 
doi:10.1109/icst.2016.34 dblp:conf/icst/MoranVBVP16 fatcat:gtr5lcvlv5ey3o744vvogy5gsi

Specification Based Testing of on Android Systems

Yujian Fu, Wichien Choosilp
2017 International Journal of Wireless & Mobile Networks  
In this paper, we proposed a model based unit testing approach on the android security properties using JUnit.  ...  Both groups are represented in the operations defined in the class diagrams and dynamic behaviors are captured (partially) in the state diagram.  ...  We would like to thanks for all valuable reviews.  ... 
doi:10.5121/ijwmn.2017.9501 fatcat:y2o5uz2lgnadpnmydgwvrwympy

Sapienz: multi-objective automated testing for Android applications

Ke Mao, Mark Harman, Yue Jia
2016 Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016  
We introduce Sapienz, an approach to Android testing that uses multi-objective search-based testing to automatically explore and optimise test sequences, minimising length, while simultaneously maximising  ...  Sapienz significantly outperforms (with large effect size) both the state-of-the-art technique Dynodroid and the widely-used tool, Android Monkey, in 7/10  ...  automated testing, adapting and extending them for Android testing.  ... 
doi:10.1145/2931037.2931054 dblp:conf/issta/MaoHJ16 fatcat:ajer2ktvtzcujhz63xksdki6u4

SIG-Droid: Automated system input generation for Android applications

Nariman Mirzaei, Hamid Bagheri, Riyadh Mahmood, Sam Malek
2015 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)  
Our experiments show SIG-Droid is able to achieve significantly higher code coverage than existing automated testing tools targeted for Android.  ...  This paper presents SIG-Droid, a framework for system testing of Android apps, backed with automated program analysis to extract app models and symbolic execution of source code guided by such models for  ...  SIG-Droid currently only focuses on generating values for GUI data-input widgets.  ... 
doi:10.1109/issre.2015.7381839 dblp:conf/issre/MirzaeiBMM15 fatcat:xaqwfcxxefhupeucl7jhms3y2y

Flow Permissions for Android

Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
This paper proposes Flow Permissions, an extension to the Android permission mechanism.  ...  information flows across multiple applications (e.g., a permission for reading the phone number and sending it to another application already installed on the user's phone).  ...  E. User Study To test the utility of Flow Permissions, we created a user survey and tested first year masters and PhD students taking an Android based distributed systems course.  ... 
doi:10.1109/ase.2013.6693128 dblp:conf/kbse/HolavanalliMNRSKZ13 fatcat:zzhzz2qndrh55kvxyqw6ca4m7a

The Evolution of Android Malware and Android Analysis Techniques

Kimberly Tam, Ali Feizollah, Nor Badrul Anuar, Rosli Salleh, Lorenzo Cavallaro
2017 ACM Computing Surveys  
With the integration of mobile devices into daily life, smartphones are privy to increasing amounts of sensitive information.  ...  Sophisticated mobile malware, particularly Android malware, acquire or utilize such data without user consent.  ...  We then suggest the next logical steps for future research against malware and make a few general observations.  ... 
doi:10.1145/3017427 fatcat:f2vdpgntincgvd4xv52l2ovray

Mining Android App Usages for Generating Actionable GUI-based Execution Scenarios [article]

Mario Linares-Vasquez, Martin White, Carlos Bernal-Cardenas, Kevin Moran, Denys Poshyvanyk
2018 arXiv   pre-print
GUI-based models extracted from Android app execution traces, events, or source code can be extremely useful for challenging tasks such as the generation of scenarios or test cases.  ...  We evaluated MONKEYLAB in a case study involving several medium-to-large open-source Android apps.  ...  MINING AND GENERATING ACTIONABLE EXECUTION SCENARIOS WITH MONKEYLAB Given that manual execution of Android apps for testing purposes is still preferred and relied upon over automated methods [31] , we  ... 
arXiv:1801.06271v1 fatcat:pa5wlzbyvjfxrp7x2c4p2zoby4
« Previous Showing results 1 — 15 out of 5,273 results