Login / Signup

A bounded symbolic-size model for symbolic execution.

David TrabishShachar ItzhakyNoam Rinetzky
Published in: ESEC/SIGSOFT FSE (2021)
Keyphrases
  • objective function
  • high level
  • neural network
  • multi objective
  • genetic programming