GitHub repository: mechtaev/angelix
Primary language: Java
Description: Semantic program repair system for C programs