Verifying android applications using Java PathFinder-Reference-Cited by-同舟云学术

Verifying android applications using Java PathFinder

Published:2012-11-27 Issue:6 Volume:37 Page:1-5
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

van der Merwe Heila¹,van der Merwe Brink¹,Visser Willem¹

Affiliation:

1. University of Stellenbosch, South Africa

Abstract

Mobile application testing is a specialised and complex field. Due to mobile applications' event driven design and mobile runtime environment, there currently exist only a small number of tools to verify these applications. This paper describes the development of JPF-ANDROID, an Android application verification tool. JPF-ANDROID is built on Java Pathfinder, a Java model checking engine. JPF-ANDROID provides a simplified model of the Android framework on which an Android application can run. It then allows the user to script input events to drive the application flow. JPF-ANDROID provides a way to detect common property violations such as deadlocks and runtime exceptions in Android applications.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/2382756.2382797

Reference19 articles.

1. Android documentation. http://developer.android.com/. Accessed: 17 July 2012. Android documentation. http://developer.android.com/. Accessed: 17 July 2012.

2. Java Pathfinder documentation. http://babelfish.arc.nasa.gov/trac/jpf. Accessed: July 2012. Java Pathfinder documentation. http://babelfish.arc.nasa.gov/trac/jpf. Accessed: July 2012.

3. Android mock November 2007. http://code.google.com/p/android-mock/. Accessed: 17 July 2012. Android mock November 2007. http://code.google.com/p/android-mock/. Accessed: 17 July 2012.

4. Mockito November 2007. http://code.google.com/p/mockito/. Accessed: 17 July 2012. Mockito November 2007. http://code.google.com/p/mockito/. Accessed: 17 July 2012.

5. Robolectric documentation November 2007. http://pivotal.github.com/robolectric. Accessed: July 2012. Robolectric documentation November 2007. http://pivotal.github.com/robolectric. Accessed: July 2012.

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

2. CydiOS: A Model-Based Testing Framework for iOS Apps;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

3. Columbus: Android App Testing Through Systematic Callback Exploration;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

4. Android Fuzzing: Balancing User-Inputs and Intents;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

5. ConfigDroid: Configuration-aware GUI testing of Android Applications;2023 3rd International Conference on Consumer Electronics and Computer Engineering (ICCECE);2023-01-06