Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing. - Yingquan Zhao; Zan Wang; Junjie Chen 003; Ruifeng Fu; Yanzhou Lu; Tianchang Gao; Haojie Ye (CCS, 2024)