Study of Automatic Programs Quality Analysis and Correction | IEEE Conference Publication | IEEE Xplore