Login / Signup

Symbolic Execution for Network Functions with Time-Driven Logic.

Harsha SharmaWenfei WuBangwen Deng
Published in: MASCOTS (2020)
Keyphrases
  • symbolic execution
  • specification language
  • databases
  • artificial intelligence
  • decision trees
  • artificial neural networks
  • static analysis