Selective Symbolic Execution
Compositional dynamic test generation