Boost Symbolic Execution Using Dynamic State Merging and Forking

Chao Zhang, Weiliang Yin, Zhiqiang Lin. Boost Symbolic Execution Using Dynamic State Merging and Forking. In Horst Lichter, Thanwadee Sunetnanta, Toni Anwar, Taratip Suwannasart, editors, Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018. Volume 2273 of CEUR Workshop Proceedings, pages 14-21, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.