Towards verifying android apps for the absence of no-sleep energy bugs,” (2012)

by P Vekris, R Jhala, S Lerner, Y Agarwal
Venue:in Proceedings of the 2012 USENIX conference on PowerAware Computing and Systems, ser. HotPower’12.