Login / Signup

A Search Strategy Guided by Uncovered Branches for Concolic Testing.

Qixing DongJun YanJian ZhangFanping Zeng
Published in: QSIC (2013)
Keyphrases
  • search strategy
  • search space
  • search strategies
  • search algorithm
  • combinatorial search
  • effective pruning
  • test cases
  • hill climbing
  • tabu list
  • data sets
  • neural network
  • branch and bound
  • search problems