doi dblp Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security Corina S. Pasareanu 2020