PropR: property-based automatic program repair. - Gissurarson, Matthías Páll; Applis, Leonhard; Panichella, Annibale; van Deursen, Arie; Sands, David (ICSE: International Conference on Software Engineering, 2022)