Leveraging Program Invariants to Promote Population Diversity in Search-Based Automatic Program Repair | IEEE Conference Publication | IEEE Xplore