Compositional Symbolic Execution through Program Specialization
Symbolic execution for software testing in practice: preliminary assessment