Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for id:"handle:10019.1/102802". One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Stellenbosch University

1. Botha, Heila-Marié. Verifying Android applications using Java PathFinder.

Degree: PhD, 2017, Stellenbosch University

Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science.

ENGLISH ABSTRACT : Current dynamic analysis tools for Android applications do not achieve acceptable code coverage since they can only explore a subset of the behaviors of the applications and do not have full control over the environment in which they execute. In this work model checking is used to systematically and more effectively explore application execution paths using state matching and backtracking. In particular, we extend the Java PathFinder (JPF) model checking environment for Android. We describe the difficulties one needs to overcome as well as our current approaches to handling these issues. We obtain significantly higher coverage using shorter event sequences on a representative sample of Android apps, when compared to Dynodroid and Sapienz, the current state-of-the-art dynamic analysis tools for Android applications.

AFRIKAANSE OPSOMMING : Geen Afrikaanse opsomming geskikbaar nie

Advisors/Committee Members: Visser, Willem.

Subjects/Keywords: Android software  – Model checking; Android applications; Java Pathfinder (JPF); Cell phones  – Applications; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Botha, H. (2017). Verifying Android applications using Java PathFinder. (Doctoral Dissertation). Stellenbosch University. Retrieved from http://hdl.handle.net/10019.1/102802

Chicago Manual of Style (16th Edition):

Botha, Heila-Marié. “Verifying Android applications using Java PathFinder.” 2017. Doctoral Dissertation, Stellenbosch University. Accessed September 25, 2018. http://hdl.handle.net/10019.1/102802.

MLA Handbook (7th Edition):

Botha, Heila-Marié. “Verifying Android applications using Java PathFinder.” 2017. Web. 25 Sep 2018.

Vancouver:

Botha H. Verifying Android applications using Java PathFinder. [Internet] [Doctoral dissertation]. Stellenbosch University; 2017. [cited 2018 Sep 25]. Available from: http://hdl.handle.net/10019.1/102802.

Council of Science Editors:

Botha H. Verifying Android applications using Java PathFinder. [Doctoral Dissertation]. Stellenbosch University; 2017. Available from: http://hdl.handle.net/10019.1/102802

.