Fetching the paper…
Reading the bibliography…
There have been many studies on automated test generation for mobile Graphical User Interface (GUI) applications.
Introduction to Reinforcement Learning (1st ed.)
Richard S. Sutton and Andrew G. Barto. 1998 · 1998
Earlier work this paper cites.
Theory and application of reward shaping in reinforcement learning
Adam Daniel Laud. 2004 · 2004
Earlier work this paper cites.
Checking liveness properties of concurrent systems by reinforcement learning. In International Workshop on Model Checking and Artificial Intelligence . Springer, 84–94
Tadashi Araragi and Seung Mo Cho. 2006 · 2006
Earlier work this paper cites.
Bounded rational search for on-the-fly model checking of LTL properties. In International Conference on Fundamentals of Software Engineering . Springer, 292–307
Razieh Behjati, Marjan Sirjani, and Majid Nili Ahmadabadi. 2009 · 2009
Earlier work this paper cites.
Reinforcement learning-based multi-agent system for network traffic signal control
Itamar Arel, Cong Liu, T Urbanik, and AG Kohls. 2010 · 2010
Earlier work this paper cites.
F-Droid Benchmarks
Ciaran Gultnieks. 2010 · 2010
Earlier work this paper cites.
Automated concolic testing of smartphone apps. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE)
Saswat Anand, Mayur Naik, Mary Jean Harrold, and Hongseok Yang. 2012 · 2012
Earlier work this paper cites.
Runtime verification and enforcement for Android applications with RV-Droid. In International Conference on Runtime Verification . Springer, 88–95
Ylies Falcone, Sebastian Currea, and Mohamad Jaber. 2012 · 2012
Earlier work this paper cites.
Autoblacktest: Automatic black-box testing of interactive applications. In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation . IEEE, 81–90
Leonardo Mariani, Mauro Pezze, Oliviero Riganelli, and Mauro Santoro. 2012 · 2012
Earlier work this paper cites.
Targeted and Depth-first Exploration for Systematic Testing of Android Apps. In ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) . 641–660
Tanzirul Azim and Iulian Neamtiu. 2013 · 2013
Earlier work this paper cites.
Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning. In ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) . 623–640
Wontae Choi, George Necula, and Koushik Sen. 2013 · 2013
Earlier work this paper cites.
Dynodroid: An Input Generation System for Android Apps. In 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE)
Aravind Machiry, Rohan Tahiliani, and Mayur Naik. 2013 · 2013
Earlier work this paper cites.
Playing atari with deep reinforcement learning
Volodymyr Mnih, Koray Kavukcuoglu, David Silver, Alex Graves, Ioannis Antonoglou, Daan Wierstra, and Martin Riedmiller. 2013 · 2013
Earlier work this paper cites.
A Grey-box Approach for Automated GUI-model Generation of Mobile Applications. In 16th International Conference on Fundamental Approaches to Software Engineering (FASE) . 250–265
Wei Yang, Mukul R. Prasad, and Tao Xie. 2013 · 2013
Earlier work this paper cites.
Introduction to Machine Learning (3rd ed.)
Ethem Alpaydin. 2014 · 2014
Earlier work this paper cites.
The oracle problem in software testing: A survey
Earl T Barr, Mark Harman, Phil McMinn, Muzammil Shahbaz, and Shin Yoo. 2014 · 2014
Cited alongside, same era.
PUMA: Programmable UI-automation for Large-scale Dynamic Analysis of Mobile Apps. In 12th Annual International Conference on Mobile Systems, Applications, and Services (MobiSys) . 204–217
Shuai Hao, Bin Liu, Suman Nath, William G.J. Halfond, and Ramesh Govindan. 2014 · 2014
Cited alongside, same era.
Logically-Constrained Neural Fitted Q-Iteration. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems . International Foundation for Autonomous Agents and Multiagent Systems, 2012–2014
Mohammadhosein Hasanbeig, Alessandro Abate, and Daniel Kroening. 2019b · 2014
Cited alongside, same era.
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
Yepang Liu, Chang Xu, Shing-Chi Cheung, and Jian Lu. 2014 · 2014
Cited alongside, same era.
DroidBot: a lightweight UI-guided test input generator for Android. In 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
Yuanchun Li, Ziyue Yang, Yao Guo, and Xiangqun Chen. 2017 · 2017
Later among the works it cites.
Mastering chess and shogi by self-play with a general reinforcement learning algorithm
David Silver, Thomas Hubert, Julian Schrittwieser, Ioannis Antonoglou, Matthew Lai, Arthur Guez, Marc Lanctot, Laurent Sifre, Dharshan Kumaran, Thore Graepel, et al · 2017
Later among the works it cites.
Guided, stochastic model-based GUI testing of Android apps. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, and Zhendong Su. 2017 · 2017
Later among the works it cites.
ADRENALIN-RV: android runtime verification using load-time weaving. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) . IEEE, 532–539
Haiyang Sun, Andrea Rosa, Omar Javed, and Walter Binder. 2017 · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Riyadh Mahmood, Nariman Mirzaei, and Sam Malek. 2014 · 2014
Cited alongside, same era.
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. In IEEE International Conference on Software Testing, Verification, and Validation (ICST)
Razieh Nokhbeh Zaeem, Mukul R. Prasad, and Sarfraz Khurshid. 2014 · 2014
Cited alongside, same era.
MobiGUITAR: Automated Model-Based Testing of Mobile Apps
D. Amalfitano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon. 2015 · 2015
Cited alongside, same era.
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science) , Vol. 9333. Springer, 342–357
Philip Daian, Yliès Falcone, Patrick O’Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, and Grigore Rosu. 2015 · 2015
Cited alongside, same era.
Mining Android App Usages for Generating Actionable GUI-based Execution Scenarios. In 12th Working Conference on Mining Software Repositories (MSR) . 111–122
Mario Linares-Vásquez, Martin White, Carlos Bernal-Cárdenas, Kevin Moran, and Denys Poshyvanyk. 2015 · 2015
Cited alongside, same era.
Correct-by-synthesis reinforcement learning with temporal logic constraints. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Min Wen, Rüdiger Ehlers, and Ufuk Topcu. 2015 · 2015
Cited alongside, same era.
Double Sarsa and double expected Sarsa with shallow and deep learning
Michael Ganger, Ethan Duryea, and Wei Hu. 2016 · 2016
Cited alongside, same era.
Reducing combinatorics in GUI testing of android applications. In 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) . IEEE, 559–570
Nariman Mirzaei, Joshua Garcia, Hamid Bagheri, Alireza Sadeghi, and Sam Malek. 2016 · 2016
Cited alongside, same era.
Optimizing chemical reactions with deep reinforcement learning
Zhenpeng Zhou, Xiaocheng Li, and Richard N Zare. 2017 · 2017
Later among the works it cites.
CrawlDroid: Effective Model-based GUI Testing of Android Apps. In Tenth Asia-Pacific Symposium on Internetware
Yuzhong Cao, Guoquan Wu, Wei Chen, and Jun Wei. 2018 · 2018
Later among the works it cites.
Automated Accessibility Testing of Mobile Apps. In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
M. M. Eler, J. M. Rojas, Y. Ge, and G. Fraser. 2018 · 2018
Later among the works it cites.
Market Share: Final PCs, ultramobiles and mobile phones, all countries, 4q17 update
Gartner 2018 · 2018
Later among the works it cites.
TCM: Test Case Mutation to Improve Crash Detection in Android. In Fundamental Approaches to Software Engineering
Yavuz Koroglu and Alper Sen. 2018 · 2018
Later among the works it cites.
QBE: QLearning-Based Exploration of Android Applications. In IEEE International Conference on Software Testing, Verification and Validation (ICST)
Yavuz Koroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, and Yunus Donmez. 2018 · 2018
Later among the works it cites.
Teaching Multiple Tasks to an RL Agent Using LTL. In Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS ’18) . International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 452–461
Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, and Sheila A. McIlraith. 2018 · 2018
Later among the works it cites.
LAND: A User-friendly and Customizable Test Generation Tool for Android Apps. In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, and Jian Zhang. 2018 · 2018
Later among the works it cites.
ParaAim: Testing Android Applications Parallel at Activity Granularity. In 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
C. Cao, J. Deng, P. Yu, Z. Duan, and X. Ma. 2019 · 2019
Closest in time.
Certified Reinforcement Learning with Logic Guidance
Mohammadhosein Hasanbeig, Alessandro Abate, and Daniel Kroening. 2019a · 2019
Closest in time.