Login / Signup

On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution.

Penghui LiWei MengKangjie LuChanghua Luo
Published in: WWW (2021)
Keyphrases
  • symbolic execution
  • open source
  • database systems
  • databases
  • software engineering
  • test data generation