Verifying Android applications using Java PathFinder

Simple item page
dc.contributor.advisorVisser, Willemen_ZA
dc.contributor.authorBotha, Heila-MariƩen_ZA
dc.date.accessioned2017-11-20T09:58:19Z
dc.date.accessioned2017-12-11T10:56:08Z
dc.date.available2017-11-20T09:58:19Z
dc.date.available2017-12-11T10:56:08Z
dc.date.issued2017-11-20
dc.descriptionStellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science.en_ZA
dc.descriptionThesis (PhD)--Stellenbosch University, 2017en_ZA
dc.description.abstractENGLISH 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.en_ZA
dc.description.abstractAFRIKAANSE OPSOMMING : Geen Afrikaanse opsomming geskikbaar nieaf_ZA
dc.format.extentxi, 129 pages : illustrations (some colour)en_ZA
dc.identifier.urihttp://hdl.handle.net/10019.1/102802
dc.language.isoen_ZAen_ZA
dc.publisherStellenbosch : Stellenbosch Universityen_ZA
dc.rights.holderStellenbosch Universityen_ZA
dc.subjectAndroid software -- Model checkingen_ZA
dc.subjectAndroid applicationsen_ZA
dc.subjectJava Pathfinder (JPF)en_ZA
dc.subjectCell phones -- Applicationsen_ZA
dc.subjectUCTDen_ZA
dc.titleVerifying Android applications using Java PathFinderen_ZA
dc.typeThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
botha_verifying_2017.pdf
Size:
1.74 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description:
Download
Collections
Doctoral Degrees (Computer Science)