2016 · 13 citations · 23 references
ComputingComputer ScienceMobile ComputingMobile SecurityMobile SystemsApplication Security TestingBehavioral AnalysisMobile Application DevelopmentMobile PrivacySoftware TestingAndroid Application Security TestingAutomated Security TestingMobile App PrivacyMobile App TestingMobile Application Security Testing
While automated testing of mobile applications is very useful for checking run-time behaviours and specifications, its capability in discovering issues in apps is often limited in practice due to long testing time. A common practice is to randomly and exhaustively explore the whole app test space, which takes a lot of time and resource to achieve good coverage and reach targeted parts of the apps.
23
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones
William Enck, Peter Gilbert, Byung-Gon Chun et al. · 2010 · 2.3K citations
IEEE Software · 2011 · 2K citations
Dynodroid: an input generation system for Android apps
Aravind Machiry, Rohan Tahiliani, Mayur Naik · 2013 · 704 citations · Full text
A stubborn attack on state explosion
Antti Valmari · Formal Methods in System Design · 1992 · 575 citations
These aren't the droids you're looking for
Peter Hornyack, Seungyeop Han, Jaeyeon Jung et al. · 2011 · 574 citations