DOI,IST REx ID,Research Group,Title of publication
10.1145/3106237.3106309,942,ToHe,S3: Syntax- and semantic-guided repair synthesis via programming by examples