Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps.

Chang Hwan Peter Kim, Daniel Kroening, Marta Z. Kwiatkowska

Browse the full MASCOTS paper archive.