Towards Energy Consumption Verification via Static Analysis.
Pedro López-GarcíaRémy HaemmerléMaximiliano KlemenUmer LiqatManuel V. HermenegildoPublished in: CoRR (2015)
Keyphrases
- energy consumption
- static analysis
- symbolic execution
- java card
- test generation
- dynamic analysis
- wireless sensor networks
- energy saving
- energy efficient
- energy efficiency
- source code
- energy conservation
- sensor networks
- data center
- power management
- sensor nodes
- data transmission
- routing protocol
- energy aware
- save energy
- base station
- model checking
- test suite
- regular expressions
- routing algorithm
- environmental impact
- databases
- electrical energy
- reduce the energy consumption
- total energy
- multi hop
- activity recognition
- data management
- high level