Android developers
Http://developer.android.com/
DroidPilot
Http://droidpilot.wordpress.com/
IBM - Software - Rational Rhapsody family
Http://www-01.ibm.com/software/awdtools/rhapsody/
Robotium
Https://code.google.com/p/robotium/
Domenico Amalfitano
Anna Rita Fasolino
Porfirio Tramontana
Bryan Ta
Atif Memon
2014
MobiGUITAR – A Tool for Automated Model-Based Testing of Mobile Apps
IEEE Software
99
PrePrints
1
10.1109/MS.2014.55
Cyrille Artho
Howard Barringer
Allen Goldberg
Klaus Havelund
Sarfraz Khurshid
Mike Lowry
Corina Pasareanu
Grigore Rosu
Koushik Sen
Willem Visser
Rich Washington
2005
Combining Test Case Generation and Runtime Verification
Theor. Comput. Sci.
336
2-3
209–234
10.1016/j.tcs.2004.11.007
Pedro de la Cámara
J. Rául Castro
María del Mar Gallardo
Pedro Merino
2010
Verification support for ARINC-653-based avionics software
Software Testing Verification & Reliability
21
4
267–298
10.1002/stvr.422
Wontae Choi
George Necula
Koushik Sen
2013
Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning
SIGPLAN Not.
48
10
623–640
10.1145/2544173.2509552
Edmund M. Clarke, Jr.
Orna Grumberg
Doron A. Peled
1999
Model Checking
MIT Press
Cambridge, USA
Pedro de la Cámara
María del Mar Gallardo
Pedro Merino
David Sanán
2009
Checking the reliability of socket based communication software
Intl. Journal on Software Tools for Technology Transfer
11
5
359–374
10.1007/s10009-009-0112-7
M.B. Dwyer
Robby
O. Tkachuk
W. Visser
2004
Analyzing interaction orderings with model checking
Automated Software Engineering, 2004. Proceedings. 19th Intl. Conference on
154–163
10.1109/ASE.2004.1342733
William Enck
Peter Gilbert
Byung-Gon Chun
Landon P. Cox
Jaeyeon Jung
Patrick McDaniel
Anmol N. Sheth
2010
TaintDroid: An Information-flow Tracking System for Realtime Privacy Monitoring on Smartphones
Proceedings of the 9th USENIX OSDI
OSDI'10
USENIX Association
Berkeley, CA, USA
1–6
10.1145/2494522
http://dl.acm.org/citation.cfm?id=1924943.1924971
Ana Rosario Espada
María-del-Mar Gallardo
Damián Adalid
2013
DRAGONFLY : Encapsulating Android for Instrumentation
Proceedings of the XIII PROLE13
Ana Rosario Espada
María-del-Mar Gallardo
Damián Adalid
2013
A Runtime Verification Framework for android Applications
Proceedings of XXI JCSD
Gerard J. Holzmann
2003
The SPIN Model Checker: Primer and Reference Manual
Addison-Wesley Professional
Cuixiong Hu
Iulian Neamtiu
2011
Automating GUI Testing for Android Applications
Proceedings of the 6th International Workshop on AST
AST '11
ACM
New York, NY, USA
77–83
10.1145/1982595.1982612
Yiming Jing
Gail-Joon Ahn
Hongxin Hu
2012
Model-Based Conformance Testing for Android
Advances in Information and Computer Security - 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings
1–18
10.1007/978-3-642-34117-5_1
William Klieber
Lori Flynn
Amar Bhosale
Limin Jia
Lujo Bauer
2014
Android Taint Flow Analysis for App Sets
Proceedings of the 3rd ACM SIGPLAN International Workshop
SOAP '14
ACM
New York, NY, USA
1–6
10.1145/2614628.2614633
Yepang Liu
Chang Xu
2013
VeriDroid: Automating Android application verification
Proceedings Middleware 2013 Doctoral Symposium
ACM
10.1145/2541534.2541594
Aravind Machiry
Rohan Tahiliani
Mayur Naik
2013
Dynodroid: An Input Generation System for Android Apps
Proceedings of the 2013 ESEC/FSE
ESEC/FSE 2013
ACM
New York, NY, USA
224–234
10.1145/2491411.2491450
Peter Mehlitz
Oksana Tkachuk
Mateusz Ujma
2011
JPF-AWT: Model checking GUI applications
2011 26th IEEE/ACM International Conference ASE 2011
0
584–587
10.1109/ASE.2011.6100131
Heila van der Merwe
Brink van der Merwe
Willem Visser
2012
Verifying Android Applications Using Java PathFinder
SIGSOFT Softw. Eng. Notes
37
6
1–5
10.1145/2382756.2382797
Sébastien Salva
StassiaR. Zafimiharisoa
2014
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities
International Journal on Software Tools for Technology Transfer
1–21
10.1007/s10009-014-0303-8
Tommi Takala
Mika Katara
Julian Harty
2011
Experiences of System-Level Model-Based GUI Testing of an Android Application
Proceedings of the 2011 Fourth IEEE ICST
ICST '11
IEEE Computer Society
Washington, DC, USA
377–386
10.1109/ICST.2011.11
Mark Utting
Bruno Legeard
2007
Practical Model-Based Testing: A Tools Approach
Morgan Kaufmann Publishers Inc.
San Francisco, CA, USA
Hui Ye
Shaoyin Cheng
Lanbo Zhang
Fan Jiang
2013
DroidFuzzer: Fuzzing the Android Apps with Intent-Filter Tag
Proceedings 11th International Conference on Advances in MoMM2013
ACM
10.1145/2536853.2536881