Differential symbolic execution
Compositional dynamic test generation