Demsky, Rinard, 2003. Automatic detection and repair of errors in data structures 38.. https://doi.org/10.1145/949343.949314