Text this: Mutation‐inspired symbolic execution for software testing