Text this: Shadow Symbolic Execution for Testing Software Patches.