Inproceedings,

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

, , , and .
WWW, page 58-69. ACM / IW3C2, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews