Learn More
Android software presents many challenges for static program analysis. In this work we focus on the fundamental problem of static control-flow analysis. Traditional analyses cannot be directly applied to Android because the applications are framework-based and event-driven. We consider user-event-driven components and the related sequences of callbacks from(More)
This work develops a static analysis to create a model of the behavior of an Android application's GUI. We propose the window transition graph (WTG), a model representing the possible GUI window sequences and their associated events and callbacks. A key component and contribution of our work is the careful modeling of the stack of currently-active windows,(More)
Android devices have limited hardware resources (e.g., memory). Excessive consumption of such resources may lead to crashes, poor responsiveness, battery drain, and negative user experience. We propose an approach for systematic automated test generation to expose resource leak defects in Android applications. We first define the notion of a neutral(More)
Based on the space alternating generalized expectation maximization (SAGE) technique, and the ordered serial interference cancellation (OSIC) algorithm, an improved low-complexity inter-carrier interference (ICI) mitigation scheme, named SAGE-OSIC, is proposed for high mobile orthogonal frequency division multiplexing (OFDM) systems, where the subcarriers(More)
For static analysis researchers, Android software presents a wide variety of interesting challenges. The target of our work is static detection of energy-drain defects in Android applications. The management of energy-intensive resources (e.g., GPS) creates various opportunities for software defects. Our goal is to detect statically “missing(More)
In this paper, we study the effects of interference to channel estimation and present an iterative total leastsquares algorithm for channel estimation by using the conjugate gradient method in time-varying multipath fading channels. The Doppler shift of fast-fading channels will generate inter-carrier interference (ICI), hence, degrade the performance of(More)
Tuber pseudoexcavatum, Tuber sinoaestivum, and Tuber indicum are the 3 most important truffles growing in southeast China; however, their cultivation is still inefficient owing to the lack of understanding regarding the composition and function of the bacterial and fungal communities from the soils around the fruit bodies and the ectomycorrhiza of these(More)