Understanding Automatically-Generated Patches Through Symbolic Invariant Differences | IEEE Conference Publication | IEEE Xplore