Login / Signup

Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths.

Romain AïssatFrédéric VoisinBurkhart Wolff
Published in: ITP (2016)
Keyphrases
  • symbolic execution
  • real world
  • neural network
  • web services
  • data model
  • domain independent