Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska. Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps. In 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016. pages 115-124, IEEE Computer Society, 2016. [doi]
Abstract is missing.