Compositional Symbolic Execution through Program Specialization
Compositional dynamic test generation