Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo. On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution. In Jure Leskovec, Marko Grobelnik, Marc Najork, Jie Tang 0001, Leila Zia, editors, WWW '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021. pages 58-69, ACM / IW3C2, 2021. [doi]
Abstract is missing.