ResearchSpace

Addressing challenges in obtaining high coverage when model checking android applications

Show simple item record

dc.contributor.author Botha, Heila-Marie
dc.contributor.author Tkachuk, O
dc.contributor.author Van der Merwe, B
dc.contributor.author Visser, W
dc.date.accessioned 2017-09-26T09:35:03Z
dc.date.available 2017-09-26T09:35:03Z
dc.date.issued 2017-07
dc.identifier.citation Botha, H-M., Tkachuk, O., Van der Merwe, B. et al. 2017. Addressing challenges in obtaining high coverage when model checking android applications. Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 13-14 July 2017, Santa Barbara, California, USA, pp. 31-40 en_US
dc.identifier.isbn 978-1-4503-5077-8
dc.identifier.uri DOI: 10.1145/3092282.3092302
dc.identifier.uri http://scholar.google.com/citations?view_op=view_citation&hl=en&user=Ur1Pt7kAAAAJ&citation_for_view=Ur1Pt7kAAAAJ:IjCSPb-OGe4C
dc.identifier.uri http://spinroot.com/spin/symposia/ws17/SPIN_2017_paper_20.pdf
dc.identifier.uri http://dl.acm.org/citation.cfm?id=3092302
dc.identifier.uri http://hdl.handle.net/10204/9601
dc.description Copyright: 2017 ACM. Due to copyright restrictions, the attached PDF file only contains the abstract of the full text item. For access to the full text item, kindly consult the publisher's website. en_US
dc.description.abstract Current dynamic analysis tools for Android applications do not get good 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 we use model checking to systematically explore application paths while reducing the analysis size 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 to make this a reality 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_US
dc.language.iso en_US en_US
dc.publisher ACM Digital Library en_US
dc.relation.ispartofseries Worklist;19521
dc.subject Android applications en_US
dc.title Addressing challenges in obtaining high coverage when model checking android applications en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Botha, H., Tkachuk, O., Van der Merwe, B., & Visser, W. (2017). Addressing challenges in obtaining high coverage when model checking android applications. ACM Digital Library. http://hdl.handle.net/10204/9601 en_ZA
dc.identifier.chicagocitation Botha, Heila-Marie, O Tkachuk, B Van der Merwe, and W Visser. "Addressing challenges in obtaining high coverage when model checking android applications." (2017): http://hdl.handle.net/10204/9601 en_ZA
dc.identifier.vancouvercitation Botha H, Tkachuk O, Van der Merwe B, Visser W, Addressing challenges in obtaining high coverage when model checking android applications; ACM Digital Library; 2017. http://hdl.handle.net/10204/9601 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Botha, Heila-Marie AU - Tkachuk, O AU - Van der Merwe, B AU - Visser, W AB - Current dynamic analysis tools for Android applications do not get good 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 we use model checking to systematically explore application paths while reducing the analysis size 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 to make this a reality 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. DA - 2017-07 DB - ResearchSpace DP - CSIR KW - Android applications LK - https://researchspace.csir.co.za PY - 2017 SM - 978-1-4503-5077-8 T1 - Addressing challenges in obtaining high coverage when model checking android applications TI - Addressing challenges in obtaining high coverage when model checking android applications UR - http://hdl.handle.net/10204/9601 ER - en_ZA


Files in this item

Thumbnail
Name: Botha_19521_2017.pdf
Size: 535.8Kb
Format: PDF
Description: Abstract
View/Open

This item appears in the following Collection(s)

Show simple item record