FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution. - Jaehan Yoon; Sooyoung Cha (Proc. ACM Softw. Eng., 2024)