Software Specialization via Symbolic Execution