Study of Automatic Programs Quality Analysis and Correction. - Jong-Yih Kuo; Hui-Chi Lin; Huang-Song Yu (ICS, 2020)