Guofeng Zhang 0005, Zhenbang Chen, Ziqi Shuai, Jun Sun 0001, Weijiang Hong, Yufeng Zhang, Ji Wang 0001, Yang Liu. Selective Concolic Testing. In Augusto Sampaio 0001, Mariëlle Stoelinga, editors, Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II. Volume 16557 of Lecture Notes in Computer Science, pages 275-295, Springer, 2026. [doi]
Abstract is missing.