Login / Signup

GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems.

Christian EichlerPeter WägemannWolfgang Schröder-Preikschat
Published in: Bench@CPSIoTWeek (2019)
Keyphrases
  • static analysis
  • dynamic analysis
  • cyber physical systems
  • source code
  • cyber physical
  • regular expressions
  • physical world
  • high level
  • energy consumption
  • real world
  • case study
  • e government
  • test suite