The program repair system can be considered as four modules: $C$ program converter, boolean program pre-processor, boolean program repair module and boolean program ...