Login / Signup

How we get there: a context-guided search strategy in concolic testing.

Hyunmin SeoSunghun Kim
Published in: SIGSOFT FSE (2014)
Keyphrases
  • search strategy
  • search space
  • search strategies
  • search algorithm
  • contextual information
  • neural network
  • effective pruning
  • context aware
  • branch and bound search
  • database
  • hill climbing