SEEP: Exploiting symbolic execution for energyaware programming," (2011)

by T Hönig, C Eibel, K Rüdiger, W Schröder
Venue:in Proceedings of the 4th Workshop on Power-Aware Computing and Systems,