Abstract
Power management is critical for mobile devices as energy demands have been constantly growing, while the longevity of battery power remains limited. This paper presents an extension of our previous work on detecting no-sleep energy bugs using sequential reference counts. We use a refined banking application and its implementation in Android Studio to demonstrate the extension.