@InProceedings{KKK16,
author={Chang Hwan Peter Kim and Daniel Kroening and Marta Kwiatkowska},
title={Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps},
booktitle={Proc. 24th {IEEE} International Conference on Modelling, Analysis and Simulation of Computer and Telecommunication Systems ({MASCOTS} 2016)},
year={2016},
pages={},
organization={},
publisher={{IEEE CS Press}},
volume={},
address={},
month={},
note={To appear.}
}