A Framework for Developing Correct Software Programs through Software Defect Prediction and Elimination using Machine Learning Models | Synapse