1 paper
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei +2
Error invariants are assertions that over-approximate the reachable program states at a given position in an error trace while only capturing states that will still lead to failure…