SEEP: exploiting symbolic execution for energy-aware programming

Timo Hönig, Christopher Eibel, Rüdiger Kapitza, Wolfgang Schröder-Preikschat. SEEP: exploiting symbolic execution for energy-aware programming. Operating Systems Review, 45(3):58-62, 2011. [doi]

Abstract

Abstract is missing.