Login / Signup

Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution.

Jens KnoopLaura KovácsJakob Zwirchmayr
Published in: J. Symb. Comput. (2017)
Keyphrases
  • symbolic execution
  • neural network
  • learning algorithm
  • static analysis
  • test generation
  • data sets
  • databases
  • multi agent systems
  • knowledge management
  • orders of magnitude