References

  1. Android developers. Http://developer.android.com/.
  2. DroidPilot. Http://droidpilot.wordpress.com/.
  3. IBM - Software - Rational Rhapsody family. Http://www-01.ibm.com/software/awdtools/rhapsody/.
  4. Robotium. Https://code.google.com/p/robotium/.
  5. 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), pp. 1, doi:10.1109/MS.2014.55.
  6. 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), pp. 209–234, doi:10.1016/j.tcs.2004.11.007.
  7. 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), pp. 267–298, doi:10.1002/stvr.422.
  8. Wontae Choi, George Necula & Koushik Sen (2013): Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning. SIGPLAN Not. 48(10), pp. 623–640, doi:10.1145/2544173.2509552.
  9. Edmund M. Clarke, Jr., Orna Grumberg & Doron A. Peled (1999): Model Checking. MIT Press, Cambridge, USA.
  10. 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), pp. 359–374, doi:10.1007/s10009-009-0112-7.
  11. M.B. Dwyer, Robby, O. Tkachuk & W. Visser (2004): Analyzing interaction orderings with model checking. In: Automated Software Engineering, 2004. Proceedings. 19th Intl. Conference on, pp. 154–163, doi:10.1109/ASE.2004.1342733.
  12. 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. In: Proceedings of the 9th USENIX OSDI, OSDI'10. USENIX Association, Berkeley, CA, USA, pp. 1–6, doi:10.1145/2494522. Available at http://dl.acm.org/citation.cfm?id=1924943.1924971.
  13. Ana Rosario Espada, María-del-Mar Gallardo & Damián Adalid (2013): DRAGONFLY : Encapsulating Android for Instrumentation. In: Proceedings of the XIII PROLE13.
  14. Ana Rosario Espada, María-del-Mar Gallardo & Damián Adalid (2013): A Runtime Verification Framework for android Applications. In: Proceedings of XXI JCSD.
  15. Gerard J. Holzmann (2003): The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional.
  16. Cuixiong Hu & Iulian Neamtiu (2011): Automating GUI Testing for Android Applications. In: Proceedings of the 6th International Workshop on AST, AST '11. ACM, New York, NY, USA, pp. 77–83, doi:10.1145/1982595.1982612.
  17. Yiming Jing, Gail-Joon Ahn & Hongxin Hu (2012): Model-Based Conformance Testing for Android. In: Advances in Information and Computer Security - 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings, pp. 1–18, doi:10.1007/978-3-642-34117-5_1.
  18. William Klieber, Lori Flynn, Amar Bhosale, Limin Jia & Lujo Bauer (2014): Android Taint Flow Analysis for App Sets. In: Proceedings of the 3rd ACM SIGPLAN International Workshop, SOAP '14. ACM, New York, NY, USA, pp. 1–6, doi:10.1145/2614628.2614633.
  19. Yepang Liu & Chang Xu (2013): VeriDroid: Automating Android application verification. In: Proceedings Middleware 2013 Doctoral Symposium. ACM, doi:10.1145/2541534.2541594.
  20. Aravind Machiry, Rohan Tahiliani & Mayur Naik (2013): Dynodroid: An Input Generation System for Android Apps. In: Proceedings of the 2013 ESEC/FSE, ESEC/FSE 2013. ACM, New York, NY, USA, pp. 224–234, doi:10.1145/2491411.2491450.
  21. Peter Mehlitz, Oksana Tkachuk & Mateusz Ujma (2011): JPF-AWT: Model checking GUI applications. 2011 26th IEEE/ACM International Conference ASE 2011 0, pp. 584–587, doi:10.1109/ASE.2011.6100131.
  22. Heila van der Merwe, Brink van der Merwe & Willem Visser (2012): Verifying Android Applications Using Java PathFinder. SIGSOFT Softw. Eng. Notes 37(6), pp. 1–5, doi:10.1145/2382756.2382797.
  23. 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, pp. 1–21, doi:10.1007/s10009-014-0303-8.
  24. Tommi Takala, Mika Katara & Julian Harty (2011): Experiences of System-Level Model-Based GUI Testing of an Android Application. In: Proceedings of the 2011 Fourth IEEE ICST, ICST '11. IEEE Computer Society, Washington, DC, USA, pp. 377–386, doi:10.1109/ICST.2011.11.
  25. Mark Utting & Bruno Legeard (2007): Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  26. Hui Ye, Shaoyin Cheng, Lanbo Zhang & Fan Jiang (2013): DroidFuzzer: Fuzzing the Android Apps with Intent-Filter Tag. In: Proceedings 11th International Conference on Advances in MoMM2013. ACM, doi:10.1145/2536853.2536881.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org