• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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