Symbolic execution with mixed concrete-symbolic solving
Compositional dynamic test generation