• Combining logical and probabilistic reasoning in program analysis 

      Zhang, Xin (Georgia Institute of Technology, 2017-08-23)
      Software is becoming increasingly pervasive and complex. These trends expose masses of users to unintended software failures and deliberate cyber-attacks. A widely adopted solution to enforce software quality is automated ...