Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, Weng-Fai Wong. ApproxSymate: path sensitive program approximation using symbolic execution. In Jian-Jia Chen, Aviral Shrivastava, editors, Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, Phoenix, AZ, USA, June 23-23, 2019. pages 148-162, ACM, 2019. [doi]
Abstract is missing.