• SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis 

      Harrold, Mary Jean; Santelices, Raul (Georgia Institute of Technology, 2009)
      Symbolic execution is a static-analysis technique that has been used for applications such as test-input generation and change analysis. Symbolic execution’s path sensitivity makes scaling it difficult. Despite recent ...