MultiSE: multi-path symbolic execution using value summaries
Compositional dynamic test generation