PropR: Property-Based Automatic Program Repair

Type
Publication
The 44th IEEE/ACM International Conference on Software Engineering (ICSE 2022)