A Program-Output Estimator for Software Testing Using Program Analysis and Deep Learning Algorithms. - Bahman Arasteh; Seyed Salar Sefati; Peri Gunes; Vahid Hosseinzadeh; Farzad Kiani (J. Electron. Test., 2025)