Compositional Symbolic Execution through Program Specialization
Symbolic execution and program testing