• Scalable Parametric Static Analysis 

      Zhang, Xin; Naik, Mayur; Yang, Hongseok (Georgia Institute of Technology, 2012)
      Parametric static analysis allows choosing a parameter value to balance the precision and cost of the instantiated analysis. We propose an efficient approach to either find a cheapest parameter value to prove a given ...