SAGA: Summarization-Guided Assert Statement Generation. - Yuwei Zhang 003; Zhi Jin; Ze-Jun Wang; Ying Xing; Ge Li 001 (J. Comput. Sci. Technol., 2025)