Timo Hönig, Christopher Eibel, Rüdiger Kapitza, Wolfgang Schröder-Preikschat. SEEP: exploiting symbolic execution for energy-aware programming. In Ricardo Bianchini, Prabal Dutta, editors, Proceedings of the 4th Workshop on Power-Aware Computing and Systems, HotPower '11, Cascais, Portugal, October 23, 2011. ACM, 2011. [doi]
Abstract is missing.