SEEP: exploiting symbolic execution for energy-aware programming.
Timo HönigChristopher EibelRüdiger KapitzaWolfgang Schröder-PreikschatPublished in: ACM SIGOPS Oper. Syst. Rev. (2011)
Keyphrases
- energy aware
- symbolic execution
- wireless sensor networks
- test generation
- test data generation
- high performance computing
- static analysis
- routing protocol
- energy consumption
- specification language
- programming language
- smart home
- source code
- data center
- data flow
- energy efficiency
- sensor networks
- routing algorithm
- genetic algorithm
- test cases
- databases
- software testing
- software systems
- open source
- object oriented
- high level