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