• Precise guidance to dynamic test generation

      Pears, RL; Fong, A; Do, T; Do, T; Fong, A; Pears, RL (DBLP, 2012)
      Dynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage ...