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 |