2020 · 62 citations · 54 references
ComputingCybersecurityMobile ComputingMobile SystemsTest DevelopmentApplication Programming InterfacesApplication Security TestingExperimentation PlatformsMobile Application DevelopmentSoftware TestingAndroid Application AnalysisApplication Programming Interface TestingMobile App TestingMobile Application Quality AssuranceMobile Application Security TestingSystem Use CasesTest Suite GenerationUse Cases
Android apps demand high-quality test inputs, whose generation remains an open challenge. Existing techniques fall short on exploring complex app functionalities reachable only by a long, meaningful, and effective test input. Observing that such test inputs can usually be decomposed into relatively independent short use cases, this paper presents ComboDroid, a fundamentally different Android app testing framework. ComboDroid obtains use cases for manifesting a specific app functionality (either manually provided or automatically extracted), and systematically enumerates the combinations of use cases, yielding high-quality test inputs.
54
Formal verification of parallel programs
Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text
Dynodroid: an input generation system for Android apps
Aravind Machiry, Rohan Tahiliani, Mayur Naik · 2013 · 704 citations · Full text
MCMC Using Hamiltonian Dynamics
Radford M. Neal · 2011 · 542 citations · Full text
Sapienz: multi-objective automated testing for Android applications
Ke Mao, Mark Harman, Yue Jia · 2016 · 531 citations · Full text