Yang Liu, Guofeng Zhang 0005, Zhenbang Chen, Ziqi Shuai. Selective Symbolization Based Efficient Symbolic Execution. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021. pages 1169-1170, IEEE, 2021. [doi]
Abstract is missing.