Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Verifying Android applications using Java PathFinder
Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2017
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614083601137664 |
|---|---|
| access_status_str | Open Access |
| author | Botha, Heila-Marié |
| author2 | Visser, Willem |
| author_browse | Botha, Heila-Marié Visser, Willem |
| author_facet | Visser, Willem Botha, Heila-Marié |
| author_sort | Botha, Heila-Marié |
| collection | Thesis |
| dc_rights_str_mv | Stellenbosch University |
| description | Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/102802 |
| institution | Stellenbosch University (South Africa) |
| language | en_ZA |
| last_indexed | 2026-06-10T12:46:23.902Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2017 |
| publishDateRange | 2017 |
| publishDateSort | 2017 |
| publisher | Stellenbosch : Stellenbosch University |
| publisherStr | Stellenbosch : Stellenbosch University |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/102802 Verifying Android applications using Java PathFinder Botha, Heila-Marié Visser, Willem Android software -- Model checking Android applications Java Pathfinder (JPF) Cell phones -- Applications UCTD Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science. Thesis (PhD)--Stellenbosch University, 2017 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 Doctoral 2017-11-20T09:58:19Z 2017-12-11T10:56:08Z 2017-11-20T09:58:19Z 2017-12-11T10:56:08Z 2017-11-20 Thesis http://hdl.handle.net/10019.1/102802 en_ZA Stellenbosch University xi, 129 pages : illustrations (some colour) application/pdf Stellenbosch : Stellenbosch University |
| spellingShingle | Android software -- Model checking Android applications Java Pathfinder (JPF) Cell phones -- Applications UCTD Botha, Heila-Marié Verifying Android applications using Java PathFinder |
| title | Verifying Android applications using Java PathFinder |
| title_full | Verifying Android applications using Java PathFinder |
| title_fullStr | Verifying Android applications using Java PathFinder |
| title_full_unstemmed | Verifying Android applications using Java PathFinder |
| title_short | Verifying Android applications using Java PathFinder |
| title_sort | verifying android applications using java pathfinder |
| topic | Android software -- Model checking Android applications Java Pathfinder (JPF) Cell phones -- Applications UCTD |
| url | http://hdl.handle.net/10019.1/102802 |
| work_keys_str_mv | AT bothaheilamarie verifyingandroidapplicationsusingjavapathfinder |